science.types (date)

science.types (date)

March 27, 2008

my habilitation thesis available on the net, Thomas Streicher

March 26, 2008

[TYPES/announce] First CFP AICCSA 2009, Nathalie MITTON

March 17, 2008

[TYPES/announce] Cfp: 3rd Int'l Workshop on Security and Rewriting Techniques (SecReT 2008), Santiago Escobar

March 03, 2008

[TYPES/announce] Final Call for Participation Midlands Graduate School in Foundations of Computing Science, Eike Ritter

News | FAQ | advertise