science.types (date)

science.types (date)

February 28, 2006

[TYPES/announce] CSL'06 FINAL CALL FOR PAPERS, Computer Science Logic '06 Conference

February 22, 2006

[TYPES/announce] Final CFP: Programming Languages and Analysis for Security (PLAS) 2006, Steve Zdancewic

February 16, 2006

[TYPES/announce] CALL FOR PAPERS - Workshop "Security and Privacy in Future Business Services" at ETRICS'06, types-list-5Ct/+cvLAjbddJNmlsFzeA

February 14, 2006

[TYPES/announce] [ICLP'06] Deadlines EXTENDED, A Serebrenik

February 08, 2006

[TYPES/announce] [ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14, A Serebrenik

February 03, 2006

[TYPES/announce] EXTENDED DEADLINE: ESSLLI STUDENT SESSION, Janneke Huitink

February 01, 2006

Re: logical relations, Eijiro Sumii
[TYPES/announce] [types06] TYPES 2006 workshop (CORRECTED), Thorsten Altenkirch
[TYPES/announce] [types06] TYPES 2006 workshop, Thorsten Altenkirch

News | FAQ | advertise