science.types (date)
<
Prev Period
]
[
Next Period
>
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
<
Prev Period
]
[
Next Period
>
News
|
FAQ
|
advertise