science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

November 30, 2005

Re:[PT] Sequent systems where cut is not admissible, Alessio Guglielmi

November 27, 2005

[PT] Master Class in Mathematical Logic, 2006-7, Jaap van Oosten

November 25, 2005

Master Class in Mathematical Logic, 2006-7, Jaap van Oosten
[PT] PhD or postdoc position - reasoning/semantic web at AIFB Karlsruhe, Pascal Hitzler

November 22, 2005

[PT] Postdoc at Oxford, Luke Ong

November 17, 2005

[PT] CFP: M4M-4 Program and Call for Participation, Holger Schlingloff

November 14, 2005

[PT] CiE06: 2nd Call for Papers, cie06-QvkbJbr/y3w2EctHIo1CcQ

November 07, 2005

[PT] CSR-2006: Final Call for Papers, Edward A. Hirsch

November 04, 2005

[PT] Ackermann Award, Zoltan Esik
[PT] CSL'06 CALL FOR PAPERS, Computer Science Logic '06 Conference
CSL'06 CALL FOR PAPERS, Computer Science Logic '06 Conference
Re: [PT] Sequent systems where cut is not admissible, Peter Schroeder-Heister

News | FAQ | advertise