3 Feb 07:05Rajeev Gore
*[PT] TABLEAUX call for bids
2 Feb 19:18Roberto Sebastiani
*[PT] SAT 2012: Final Call for Papers
28 Jan 23:44Sandra Alves
*[PT] Linearity 2012 call for participation
27 Jan 10:57Luca Paolini
*[PT] Workshop on Intersection Types and Related Systems (ITRS 2012)
26 Jan 15:38Paul Levy
*[PT] MSFP 2012 call for participation
24 Jan 14:54Frank Pfenning
*[PT] Postdoctoral Position in Computational Logic
24 Jan 06:32Muller B (AT
*[PT] Special FI Issue on Logics, Agents, and Mobility
20 Jan 15:59Ulrich Berger
*[PT] MFPS 28 Second Call for Papers
19 Jan 12:32S B Cooper
*[PT] Turing Centenary Conference (CiE 2012) - Final submission arrange
19 Jan 12:29S B Cooper
*[PT] Turing Centenary Conference (CiE 2012) - Final submission arrange
17 Jan 16:30paul egré
*[PT] Second Call for Papers: Trivalent Logics and their Applications (
17 Jan 11:35Milner Symposium
*[PT] Milner Symposium, Edinburgh, 16-18 April 2012 - Call for Particip
16 Jan 20:25Roberto Sebastiani
*[PT] SAT 2012: Call for Papers
13 Jan 16:13Andreas Herzig
*[PT] JELIA 2012
13 Jan 13:24Sara Negri
*[PT] Pisa Summer Workshop in Proof Theory - CFP
10 Jan 17:27S B Cooper
*[PT] Turing Centenary Conference in Cambridge - Submission Deadline Ja
4 Jan 14:46Arnold Beckmann
*[PT] 2nd Call: Newton Institute Workshop "Logical Approaches to Barrie
22 Dec 15:51Jens Blanck
*[PT] CfP: Domains X 2011
17 Dec 19:52Tarmo Uustalu
*[PT] Estonian Winter School in Comput Sci 2012, call for partic.
17 Dec 20:06Paul Levy
*[PT] MSFP 2012 deadline extension
16 Dec 09:29ESSLLI 2012 Student Session
*[PT] First CfP: ESSLLI 2012 Student Session
16 Dec 03:03latd12
*[PT] Logic, Algebra, and Truth Degrees 2012 - First Call
14 Dec 11:25S B Cooper
*[PT] Turing Fellowships - extended deadline, 21 Decemebr, 2011
10 Dec 19:55S B Cooper
*[PT] Turing Centenary Conference, Cambridge, June 18-23, 2012
9 Dec 23:52Bernhard Gramlich
*[PT] IJCAR 2012: 2nd Call for Papers
8 Dec 11:48Rosalie Iemhoff
*[PT] Postdoc position in mathematical logic at Utrecht University
5 Dec 18:17Jean-Yves Marion
*[PT] Special issue of Information and Computation on ICC/DICE
4 Dec 15:53Patrick Baillot
*[PT] Complexity School @LI2012 : call for participation
3 Dec 11:40paul egré
*[PT] Call for Papers: Trivalent Logics and their Applications (ESSLLI
28 Nov 18:22Lionel Vaux
*[PT] LI2012: second call for participation
21 Nov 20:27S B Cooper
*[PT] Turing Fellowships and Scholarships
11 Nov 16:24Alex Simpson
*[PT] 5th Scottish Category Theory Seminar: Programme
11 Nov 15:23Ugo Dal Lago
*[PT] DICE 2012 - Second Call for Papers
6 Nov 19:25Alessio Guglielmi
*[PT] PhD studentships (2)
3 Nov 19:14Roberto Sebastiani
*[PT] SAT 2012: Call for Papers
28 Oct 15:26Milner Symposium
*[PT] Milner Symposium, Edinburgh, 16-18 April 2012 - first announcemen
27 Oct 10:09Alessio Guglielmi
*[PT] PhD studentships
23 Oct 08:15Dale Miller
*[PT] FICS 2012 Call for Papers
20 Oct 12:03Emmanuel Beffara
*[PT] LI2012: call for participation
19 Oct 17:31Arnold Beckmann
*[PT] Newton Institute Workshop "Logical Approaches to Barriers in Comp
11 Oct 13:19S B Cooper
*[PT] Turing Year in China - TAMC 2012
10 Oct 19:02Paul Levy
*[PT] MSFP 2012: Call for Papers
4 Oct 16:22Alex Simpson
*[PT] 5th Scottish Category Theory Seminar
4 Oct 13:50agata ciabattoni
*[PT] 2-YEAR POSTDOCTORAL POSITION ON STRUCTURAL PROOF THEORY
28 Sep 13:49Bernhard Gramlich
*[PT] IJCAR 2012: Call for Papers
6 Sep 12:52Jean-Yves Marion
*[PT] Post-doctoral research position at Nancy University on ICC
5 Sep 10:17Ugo Dal Lago
*[PT] DICE 2012 - First Call for Papers
17 Aug 14:40Florian Rabe
*[PT] Call for Participation: LFMTP/MLPA, August 26, Nijmegen
17 Aug 07:52Norbert Preining
*[PT] Open Position at the RCIS/JAIST
11 Aug 16:07Paul Levy
*[PT] short notice: post available in Birmingham
2 Aug 14:47Reinhard Muskens
*[PT] 2 fully funded PhD positions in Logic and Language at TiLPS
21 Jul 12:10S Barry Cooper
*[PT] COMPUTABILITY - The Journal of the Association CiE
12 Jul 19:32Ulrich Berger
*[PT] Domains X 2011: Call for Participation
2 Jul 22:20Thomas Bolander
*[PT] CFP: AiML 2012
28 Jun 21:34Jean-Yves Marion
*[PT] Post-doctoral research position at Nancy University on ICC
23 Jun 17:28S Barry Cooper
*[PT] Turing Centenary Research Competition - Call for Proposals
22 Jun 11:42Emmanuel Beffara
*[PT] LI2012: first announcement
20 Jun 15:53Luigi Santocanale
*[PT] TACL 2011 : Call for participation
17 Jun 12:34A. Herzig
*[PT] ESSLLI 2012: last call for course and workshop proposals
17 Jun 12:49jean-yves beziau
*[PT] Scope of Logic Theorems - Call for Papers
14 Jun 16:26Marcus Aloysius Bezem
*[PT] TYPES/CSL'11: registration open, TYPES deadline approaching
14 Jun 12:19Florian Rabe
*[PT] Last Call for Papers: 3rd Workshop on Modules and Libraries for P
8 Jun 09:58Paola Bruscoli
*[PT] Fwd: could you please post this to PT list
2 Jun 18:58A. Herzig
*[PT] Esslli 2012: 2nd call
1 Jun 16:02Marcus Aloysius Bezem
*[PT] TYPES 2011 in Bergen 8 - 11 Sept: Deadline for abstracts 19 June
20 May 17:51Richard McKinley
*[PT] Fwd: Workshop announcement: Gentzen Systems and Beyond '11
10 May 09:50Ugo Dal Lago
*[PT] Postdoc Position
10 May 01:55Reinhard Kahle
*[PT] PCC'11 in Ghent
9 May 19:47Florian Rabe
*[PT] Call for Papers: 3rd Workshop on Modules and Libraries for Proof
6 May 15:30Stephane Lengrand (Work
*[PT] CfP - Deadline extension: "Proof-Search in Axiomatic Theories an
22 Apr 09:18Tom Hirschowitz
*[PT] Realizability in Chambery
20 Apr 10:19Lutz Strassburger
*[PT] Postdoc position in proof theory in Paris
15 Apr 14:20Herzig Andreas
*[PT] ESSLLI 2011: first call for course and workshop proposals
11 Apr 10:37Alex Simpson
*[PT] 4th Scottish Category Theory Seminar
9 Apr 16:16Bertram Fronhöfer
*[PT] PhD Program: Call for applications
4 Apr 23:03Luigi Santocanale
*[PT] TACL 2011, third and last call for papers (submission deadline ap
4 Apr 19:24Paul Levy
*[PT] British Colloquium in Theoretical Computer Science - last call fo
18 Mar 15:27Marcus Aloysius Bezem
*[PT] CSL'11 call for papers, deadline approaching
17 Mar 17:03Stephane Lengrand (Work
*[PT] CfP: Proof-Search in Axiomatic Theories and Type Theories 2011
14 Mar 15:49S Barry Cooper
*[PT] Book Announcement: "Computability In Context"
9 Mar 13:44Marcus Aloysius Bezem
*[PT] CSL'11 call for papers and workshop proposals
8 Mar 14:27Bruno Woltzenlogel Paleo
*[PT] PxTP: First Call for Papers
8 Mar 09:44U.Berger
*[PT] LCC'11 Workshop Announcement
8 Mar 00:55Reinhard Muskens
*[PT] 2 PhD positions and 1 postdoc position in Logic and Language at T
1 Mar 23:34Marco Gaboardi
*[PT] Oregon Programming Languages Summer School 2011 - Second Call For
21 Feb 17:03Alessio Guglielmi
*[PT] Update: Question on a class of tautologies
21 Feb 17:48Giorgi Japaridze
**[PT] Update: Question on a class of tautologies
28 Feb 14:20Alessio Guglielmi
***[PT] RE: Update: Question on a class of tautologies
18 Feb 16:47Luigi Santocanale
*[PT] TACL 2011, 2nd call for papers
17 Feb 12:04Alessio Guglielmi
*[PT] Question on a class of tautologies
17 Feb 14:51Lutz Strassburger
**[PT] Question on a class of tautologies
8 Feb 09:33Jean-Yves Marion
*[PT] Call for participation DICE 2011
5 Feb 00:24Marco Gaboardi
*[PT] Oregon Programming Languages Summer School 2011 - Call For Partic
4 Feb 14:10Thomas Studer
*[PT] Open PhD position
4 Feb 02:17Ulrich Berger
*[PT] Workshop Announcement: Domains X
20 Jan 17:12Jon Awbrey
*[PT] Facebook Pages on Logical Subjects
20 Jan 15:24Thomas Piecha
*[PT] "Proof and Dialogues" (Tübingen, 25-27 February 2011)
12 Jan 23:32S Barry Cooper
*[PT] CiE 2011 in Sofia, Bulgaria - extended deadline
3 Jan 12:46Alex Simpson
*[PT] European Workshop on Computational Effects
21 Dec 19:32Steve Awodey
*[PT] Post-Doc at Carnegie Mellon