Coming Events

Advanced Semantics and Types (at ITU)
Session Types, Game Semantics and more. February-May, 2009.
Advanced Seminar in Linear Logic (at ITU)
Linear logic, categorical models, type theoretic models, and proof theoretic. February-May, 2009.
ALGO 2009 conference (at ITU)
September 7-11, 2009. Followed by 1 week PhD course on Algorithm Engineering.

Process Modelling and Validation (at DTU)
Course code: 02246. Run yearly. Start primo September 2009, 13 weeks. Introductory PhD & Adv. MSc level

Methods4Modalites workshop (at RUC and DTU)
Late October/early November 2009. Preceeded by a 2-day Mini-course in Logic.

Links to Recurrent Events and Relevant PhD Courses

• FIRST Lunch / Network Meetings
  
• COPLAS Talks
  
  
• PhD Courses at ITU
• ITU Course Database
• Courses at DIKU
• Courses at DTU
• PhD Courses in the Nordic Region

Past Events