science.types (date)

science.types (date)

March 30, 2007

[TYPES/announce] LSFA'07, Second CFPs, eduardo-I/WuembVERHfmZLQc+vOnm60nDhgSFigqSblbbW8eSQ
Some questions on logical and prelogical relations, Malcolm Tyrrell
[TYPES/announce] CiE 2007 - Call for Participation, S B Cooper

March 29, 2007

[TYPES/announce] SecCo'07: preliminary call for papers, Daniele Gorla

March 27, 2007

[TYPES/announce] New Book - Programming in Haskell, Graham Hutton

March 22, 2007

[TYPES/announce] Concur 2007 Final CFP, Luís Caires

March 21, 2007

[TYPES/announce] Concur 2007 Final CFP, Luís Caires

March 19, 2007

Google Summer of Code, Yoriyuki Yamagata
CFP: 2nd CFP for RDP Workshop Proof Assistants and Types in Education (PATE), Pierre Courtieu
Request for Comments: Typing Functional Stack-Based Language, Christopher Diggins
[TYPES/announce] TYPES 2007 remind, Marino Miculan

March 15, 2007

[TYPES/announce] EUROCORES Programme LogICCC - CfP, Carlos Areces

March 07, 2007

[TYPES/announce] Assoc. Professorship Opening, Lars Birkedal

March 05, 2007

[TYPES/announce] DCM '07 Call for Papers, Mariangiola Dezani

March 02, 2007

CFP: 9th Intl. Workshop on Logic & Computational Complexity (LCC'07), James S. Royer
ECOOP 2007 - Call for Student Volunteers, Erik Ernst

News | FAQ | advertise