Recent Changes - Search:

CSE dept.


This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.


edit SideBar

CS /

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 Wnggren - 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
Edit - History - Print - Recent Changes - Search
Page last modified on September 09, 2013, at 03:53 PM