science.mathematics.prooftheory (date)

science.mathematics.prooftheory (date)

January 31, 2008

[PT] IJCAR, last Call for Papers, geoff-RUaG/XBVoqD2fBVCVOL8/A

January 22, 2008

[PT] CSL 2008 - first call for papers, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

January 18, 2008

[PT] WoLLIC 2008 - Call for Papers, ruy-UbDI/fEVTnQIdKJ7tpkyPg

January 16, 2008

[PT] AiML-2008: Second Call for Papers, Carlos Areces

January 14, 2008

[PT] RTA'08: Call For Papers, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

January 13, 2008

[PT] Workshop Russell'08 on proof theory and type theory, Anton Setzer

January 06, 2008

[PT] ITRS'08 - Call for Papers, owner-pt-+VuHOhYSxa2v/2WfcVMNQPhqMcnVdK/bs0AfqQuZ5sE

January 05, 2008

[PT] CiE08 - Extended Deadline, Arnold Beckmann

News | FAQ | advertise