prooftheory@lists.bath.ac.uk

0

replies

[PT] ICALP 2015: Call for papers

started 2014-10-20 13:00:19 UTC

2014-10-20 13:00:19 UTC

Dale Miller

0

replies

[PT] Postdoc position at UCL in verification / logic / automated reasoning

started 2014-10-13 20:29:30 UTC

2014-10-13 20:29:30 UTC

James Brotherston

0

replies

[PT] LICS 2015 - First Call for Papers

started 2014-10-11 16:02:44 UTC

2014-10-11 16:02:44 UTC

Andrzej Murawski

0

replies

[PT] Thematic trimester at IHP - Workshop Formalization of Mathematics in Proof Assistants

started 2014-05-04 21:37:37 UTC

2014-05-04 21:37:37 UTC

Paul-Andre Mellies

0

replies

[PT] Logical Methods in CS: ten years

started 2014-05-03 00:00:53 UTC

2014-05-03 00:00:53 UTC

LMCS

0

replies

[PT] GandALF 2014: Call for papers

started 2014-05-01 14:45:09 UTC

2014-05-01 14:45:09 UTC

murano

0

replies

[PT] Call for talk proposals: HOPE'14 (Workshop on Higher-Order Programming with Effects, affiliated with ICFP'14)

started 2014-04-30 15:47:44 UTC

2014-04-30 15:47:44 UTC

Neelakantan Krishnaswami

0

replies

[PT] CfP: Logic and Games 2014 (extended submission deadline)

started 2014-04-30 11:30:00 UTC

2014-04-30 11:30:00 UTC

Jesse Alama

0

replies

[PT] thematic trimester at IHP -- talks of the first week available online

started 2014-04-24 22:53:47 UTC

2014-04-24 22:53:47 UTC

Paul-Andre Mellies

0

replies

[PT] CfP Hypothetical Reasoning, 23-24 August 2014, Tübingen, extended deadline

started 2014-04-23 18:42:40 UTC

2014-04-23 18:42:40 UTC

Peter Schroeder-Heister

0

replies

[PT] First call for participation: Proof Theory, Modal Logic and Reflection Principles 2014

started 2014-04-23 13:24:37 UTC

2014-04-23 13:24:37 UTC

JOOST JOOSTEN

0

replies

[PT] CfP: 8th Verification Workshop (VERIFY 2014), Focus Theme: Verification Beyond IT Systems, extended deadline *May 5th, 2014*

started 2014-04-22 12:26:17 UTC

2014-04-22 12:26:17 UTC

Serge Autexier

0

replies

[PT] ESSLLI 2014 Student Session Deadline Extension

started 2014-03-31 19:27:37 UTC

2014-03-31 19:27:37 UTC

Ronald de Haan

0

replies

[PT] CfP: The Notion of Proof

started 2014-03-31 19:16:05 UTC

2014-03-31 19:16:05 UTC

Jesse Alama

0

replies

[PT] Third and Last Call for Papers for SD14, July 12-13, 2014, Vienna

started 2014-03-31 13:37:46 UTC

2014-03-31 13:37:46 UTC

Lutz Strassburger

0

replies

[PT] Second call-for-papers - Linearity 2014

started 2014-03-31 02:11:17 UTC

2014-03-31 02:11:17 UTC

Sandra Alves

0

replies

[PT] PhD and PostDoc positions available in LIX & INRIA-Saclay

started 2014-03-28 19:56:39 UTC

2014-03-28 19:56:39 UTC

Dale Miller

0

replies

[PT] Vienna Summer of Logic: Call for Volunteers

started 2014-03-26 14:13:54 UTC

2014-03-26 14:13:54 UTC

Daniel Weller

0

replies

[PT] AI4FM 2014: Call for Participation

started 2014-03-25 21:17:14 UTC

2014-03-25 21:17:14 UTC

Iain Whiteside

0

replies

[PT] The European Master's Program in Computational Logic: Application until 31 May 2014

started 2014-03-25 13:03:45 UTC

2014-03-25 13:03:45 UTC

Tobias Philipp

0

replies

[PT] European PhD Program in Computational Logic (EPCL): Call for Applications

started 2014-03-20 19:36:18 UTC

2014-03-20 19:36:18 UTC

Bertram Fronhoefer

0

replies

[PT] WoLLIC 2014 - Call for Papers (DEADLINE APPROACHING)

started 2014-03-20 18:46:40 UTC

2014-03-20 18:46:40 UTC

Ruy de Queiroz

0

replies

[PT] Release of Logica Universalis 1-8 2014

started 2014-03-20 18:01:30 UTC

2014-03-20 18:01:30 UTC

jean-yves beziau

0

replies

[PT] Midlands Graduate School in Foundations of Computing Science - last chance to register

started 2014-03-19 03:36:15 UTC

2014-03-19 03:36:15 UTC

Paul Levy

0

replies

APLAS 2013 second call for papers

started 2013-06-03 04:28:05 UTC

2013-06-03 04:28:05 UTC

Chung-chieh Shan

0

replies

Haskell 2013 second call for submissions

started 2013-06-03 04:24:33 UTC

2013-06-03 04:24:33 UTC

Chung-chieh Shan

0

replies

[PT] Workshop on Intersection Types and Related Systems (ITRS 2012)

started 2012-01-27 15:57:37 UTC

2012-01-27 15:57:37 UTC

Luca Paolini

0

replies

[PT] MSFP 2012 call for participation

started 2012-01-26 20:38:22 UTC

2012-01-26 20:38:22 UTC

Paul Levy

0

replies

[PT] Postdoctoral Position in Computational Logic

started 2012-01-24 19:54:08 UTC

2012-01-24 19:54:08 UTC

Frank Pfenning

0

replies

[PT] Special FI Issue on Logics, Agents, and Mobility

started 2012-01-24 11:32:54 UTC

2012-01-24 11:32:54 UTC

Muller B (AT)