science.types (date)

science.types (date)

September 28, 2007

[TYPES/announce] 10th Asian Logic Conference, Kobe, Japan, 2008 (first announcement), Peter Schuster

September 25, 2007

[TYPES/announce] Call for Papers TYPES 2007 - deadline extension, Marino Miculan

September 06, 2007

Re: Encoding of Negation, Eike Ritter

September 04, 2007

[TYPES/announce] CfP: 3WFTop proceedings, Peter Schuster

News | FAQ | advertise