science.types (date)

science.types (date)

September 26, 2006

[TYPES/announce] Integrated Formal Methods 2007: First call for technical papers, Jeremy Gibbons

September 06, 2006

[TYPES/announce] PhD Positions at Torino University, Mariangiola Dezani

September 05, 2006

[TYPES/announce] Last Call for Contributions: Nordic Workshop on Programming Theory 2006 (Reykjavik, Iceland, 18-20 October, 2006), Luca Aceto

News | FAQ | advertise