SummerMeeting2013Schedule

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

            * Joel Wilsson/Vinay Jethava - Computational biology

            * Nina Tahmasebi - Culturomics

            * Chien-Chung Huang - Stable Marriage: Past, Present, and Future

            * Christos Dimitrakakis - Optimal sequential decisions

Teaching Session 11:30 - 12:15

           Ana Bove - Discussion about course vs research groups

Lunch 12:15 - 14:15
Language Technology Session: 14:15 - 15:15

            * John Camilleri - CNLs and Contract Logics

            * Inari Listenmaa - TBA

            * Krasimir Angelov - Mixing Probabilities with Type Theory

Coffee 15:15 - 15:45
Bioinformatics Session: 15:45 - 16:05

            * Maryana Wånggren - TBA

Programming Logic Session: 16:05 - 16:45

            * Fabien Renaud - The ProofCert project

            * Cyril Cohen - Why so much fuss over equality?

Teaching Session: 16:45 - 17:30

            Peter Dybjer - discussion about Activity Plan

Dinner 18:00 - 21:00