CS /

SpringMeeting2011Schedule

Welcome and Introductions 10:00 - 10:30
Algorithms Session: 10:30 - 12:10

             10:30-10:50 Devdatt Dubhashi: L1 Magic

             10:50-11:20 Azam Sheikh Muhammad: Competitive Group Testing with Minimum Adaptivity

             11:20-11:40 Devdatt Dubhashi: Does Science work and should we support it?

             11:40-12:10 Devdatt Dubhashi: Discussion

Lunch 12:10 - 14:30
Language Technology Session: 14:30 - 16:00

             14:30-15:00 Thomas Hallgren: The GF Grammar Development Tools

             15:00-15:30 Krasimir Angelov: GF into the wild

             15:30-16:00 Bengt Nordström: Problems in education(Discussion)

Coffee 16:00 - 16:30
Programming Logic Session: 16:30 - 18:00

             16:30-17:15 Nils Anders Danielsson: Total Parser Combinators Using Mixed Induction and Coinduction (abstract)
             17:15-17:45 Ana Bove: How shall we plan resources in a course? (Discussion)

Dinner 18:00 - 21:00