Welcome to FIRST Research School

FIRST members at retreat in Spring 2008

FIRST stands for Foundations for Innovative Research-based Software Technologies, and the research school is a concerted effort of both academia and industry to coordinate and expand a broad series of PhD-training activities within theoretical computer science and fundamental software technologies in the Copenhagen area.



Latest News

First Newsletter

The FIRST newsletter is published periodically and contains the latest news from the FIRST Research School. The same news will shortly be available from this website. You can find the latest issue of the newsletter here.









Current & Upcoming 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.