gmane.science.mathematics.prooftheory archive

LSFA'17: Third Call for Papers

Fri, 26 May 2017 15:08:10 +0100

Sandra Alves <[email protected]> • #1552

Workshop on Coinduction in Type Theory in Chambéry

Wed, 24 May 2017 09:56:39 +0200

Tom Hirschowitz <[email protected]> • #1551

[LICS] FLoC 2018 Call for Workshops

Wed, 12 Apr 2017 06:20:24 +0000

Gethin Norman <[email protected]> • #1550

FSCD 2017 - Last Call for Papers (ABSTRACT DEADLINE THIS WEEK)

Wed, 5 Apr 2017 08:48:50 +0100

Sandra Alves <[email protected]> • #1549

LSFA'17: Second Call for Papers

Thu, 9 Mar 2017 15:25:18 +0000

Sandra Alves <[email protected]> • #1548

FSCD 2017 - Second Call for Papers

Mon, 6 Mar 2017 15:12:21 +0000

Sandra Alves <[email protected]> • #1547

LSFA'17: First Call for Papers

Mon, 6 Feb 2017 15:02:05 +0000

Sandra Alves <[email protected]> • #1546

FM 2016: 21st International Symposium on Formal Methods -- Call for Participation

Wed, 19 Oct 2016 16:16:16 +0300

George Angelos Papadopoulos <[email protected]> • #1545

Removed from prooftheory

Tue, 6 Sep 2016 07:17:14 +0100

<[email protected]> • #1544

[PT] VS: Paper Submission Deadline Extended: 9th Methods for Modalities Workshop (M4M-9), IIT Kanpur, India, January 8-10, 2017

Sun, 4 Sep 2016 19:14:18 +0000

Torben Braüner <[email protected]> • #1543

[PT] FM 2016: 21st International Symposium on Formal Methods -- Call for Participation

Sun, 4 Sep 2016 16:25:10 +0300

George Angelos Papadopoulos <[email protected]> • #1542

[PT] ETAPS 2017 2nd joint call for papers

Mon, 22 Aug 2016 15:22:40 +0300

Tarmo Uustalu <[email protected]> • #1541

21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers

Tue, 26 Jul 2016 13:28:59 +0300

George Angelos Papadopoulos <[email protected]> • #1540

[PT] 7th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS

Sun, 31 Jul 2016 10:02:49 +0200

Christian RETORE <[email protected]> • #1539

[PT] Two Industrial PhD Student Positions in Formal Logic at the University of Barcelona

Fri, 29 Jul 2016 18:38:01 +0000

JOOST JOOSTEN <[email protected]> • #1538

[PT] CSL 2016 - Call for participation

Wed, 20 Jul 2016 12:10:53 +0100

European Association of Computer Science Logic <[email protected]> • #1537

[PT] CFP for Linear logic 2016 (Nov 7-10): Autumn school and Workshops

Wed, 20 Jul 2016 10:19:25 +0200

Baillot Patrick <[email protected]> • #1536

21st International Symposium on Formal Methods (FM 2016): Call for Industry Track Papers

Thu, 30 Jun 2016 16:44:03 +0300

George Angelos Papadopoulos <[email protected]> • #1534

21st International Symposium on Formal Methods (FM 2016): Last Call for Papers

Tue, 10 May 2016 15:32:59 +0300

George Angelos Papadopoulos <[email protected]> • #1512

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

Sun, 4 May 2014 18:37:37 +0200

Paul-Andre Mellies <mellies-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org> • #1238

[PT] Logical Methods in CS: ten years

Fri, 2 May 2014 21:00:53 +0200

"LMCS" <[email protected]> • #1237

[PT] GandALF 2014: Call for papers

Thu, 01 May 2014 11:45:09 +0200

murano <murano-rI6Jj+0/[email protected]> • #1236

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

Wed, 30 Apr 2014 11:47:44 +0100

Neelakantan Krishnaswami <[email protected]> • #1235

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

Wed, 30 Apr 2014 08:30:00 +0200

Jesse Alama <[email protected]> • #1234

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

Thu, 24 Apr 2014 19:53:47 +0200

Paul-Andre Mellies <mellies-InGYJPFgxhmQrp73wey5nH9PKDog5E0sUBSOeVevoDU@public.gmane.org> • #1233

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

Wed, 23 Apr 2014 15:42:40 +0200

Peter Schroeder-Heister <psh-jNDFPZUTrfQQDnmTUQnR1uqEdJ8o/[email protected]> • #1232

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

Wed, 23 Apr 2014 08:24:37 +0000

JOOST JOOSTEN <[email protected]> • #1231

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

Tue, 22 Apr 2014 09:26:17 +0200 (CEST)

[email protected] (Serge Autexier) • #1230

[PT] CfP: The Notion of Proof

Mon, 31 Mar 2014 16:16:05 +0200

Jesse Alama <[email protected]> • #1209

[PT] ESSLLI 2014 Student Session Deadline Extension

Mon, 31 Mar 2014 15:27:37 +0100

Ronald de Haan <[email protected]> • #1208

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

Mon, 31 Mar 2014 10:37:46 +0200 (CEST)

Lutz Strassburger <[email protected]> • #1207

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

Sun, 30 Mar 2014 22:11:17 +0100

Sandra Alves <[email protected]> • #1206

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

Fri, 28 Mar 2014 15:56:39 +0100

Dale Miller <[email protected]> • #1205

[PT] Vienna Summer of Logic: Call for Volunteers

Wed, 26 Mar 2014 10:13:54 +0100 (CET)

Daniel Weller <[email protected]> • #1204

[PT] AI4FM 2014: Call for Participation

Tue, 25 Mar 2014 16:17:14 +0000

Iain Whiteside <[email protected]> • #1203

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

Tue, 25 Mar 2014 09:03:45 +0100

Tobias Philipp <[email protected]> • #1202

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

Thu, 20 Mar 2014 10:46:40 -0300

Ruy de Queiroz <ruy-UbDI/[email protected]> • #1201

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

Thu, 20 Mar 2014 15:36:18 +0100

Bertram Fronhoefer <[email protected]> • #1200

[PT] Release of Logica Universalis 1-8 2014

Thu, 20 Mar 2014 14:01:30 +0100

jean-yves beziau <[email protected]> • #1199

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

Tue, 18 Mar 2014 22:36:15 +0000

Paul Levy <[email protected]> • #1198

APLAS 2013 second call for papers

Sun, 2 Jun 2013 19:28:05 -0400

Chung-chieh Shan <[email protected]> • #1076

Haskell 2013 second call for submissions

Sun, 2 Jun 2013 19:24:33 -0400

Chung-chieh Shan <[email protected]> • #1075

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

Fri, 27 Jan 2012 10:57:37 +0100

Luca Paolini <[email protected]> • #894

[PT] MSFP 2012 call for participation

Thu, 26 Jan 2012 14:38:22 +0000

Paul Levy <[email protected]> • #893

[PT] Postdoctoral Position in Computational Logic

Tue, 24 Jan 2012 08:54:08 -0500

Frank Pfenning <[email protected]> • #892

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

Tue, 24 Jan 2012 05:32:54 +0000

"Muller B (AT)" <[email protected]> • #891

[PT] MFPS 28 Second Call for Papers

Fri, 20 Jan 2012 14:59:37 +0000

Ulrich Berger <U.Berger-QvkbJbr/[email protected]> • #890

[PT] Turing Centenary Conference (CiE 2012) - Final submission arrangements

Thu, 19 Jan 2012 11:32:33 +0000

S B Cooper <[email protected]> • #889

[PT] Turing Centenary Conference (CiE 2012) - Final submission arrangements

Thu, 19 Jan 2012 11:29:57 GMT

S B Cooper <pmt6sbc-BZrsHIzluEi3akq9WCwQ0Fpr/1R2p/[email protected]> • #888

[PT] Second Call for Papers: Trivalent Logics and their Applications (ESSLLI 2012 Workshop)

Tue, 17 Jan 2012 16:30:06 +0100

paul egré <[email protected]> • #887

[PT] Milner Symposium, Edinburgh, 16-18 April 2012 - Call for Participation

Tue, 17 Jan 2012 10:35:35 GMT

Milner Symposium <[email protected]> • #886

[PT] SAT 2012: Call for Papers

Mon, 16 Jan 2012 20:25:16 +0100

Roberto Sebastiani <[email protected]> • #885

[PT] JELIA 2012

Fri, 13 Jan 2012 16:13:33 +0100

Andreas Herzig <[email protected]> • #884

[PT] Pisa Summer Workshop in Proof Theory - CFP

Fri, 13 Jan 2012 14:24:29 +0200

"Sara Negri" <sara.negri-pxSi+dnQzZMxHbG02/[email protected]> • #883

[PT] Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012

Tue, 10 Jan 2012 16:27:48 GMT

S B Cooper <pmt6sbc-BZrsHIzluEi3akq9WCwQ0Fpr/1R2p/[email protected]> • #882

[PT] 2nd Call: Newton Institute Workshop "Logical Approaches to Barriers in Complexity II"

Wed, 04 Jan 2012 13:46:12 +0000

A.Beckmann-QvkbJbr/[email protected] (Arnold Beckmann) • #881

[PT] CfP: Domains X 2011

Thu, 22 Dec 2011 14:51:46 +0000

Jens Blanck <csjens-QvkbJbr/[email protected]> • #880

[PT] DICE 2012 - Last Call for Papers

Mon, 19 Dec 2011 13:45:08 +0100

Ugo Dal Lago <dallago-iEixELS/[email protected]> • #879

[PT] Estonian Winter School in Comput Sci 2012, call for partic.

Sat, 17 Dec 2011 20:52:54 +0200

Tarmo Uustalu <[email protected]> • #878

[PT] MSFP 2012 deadline extension

Sat, 17 Dec 2011 19:06:25 +0000

Paul Levy <[email protected]> • #877

[PT] First CfP: ESSLLI 2012 Student Session

Fri, 16 Dec 2011 09:29:47 +0100

ESSLLI 2012 Student Session <[email protected]> • #876

[PT] Logic, Algebra, and Truth Degrees 2012 - First Call

Fri, 16 Dec 2011 03:03:53 +0100

[email protected] • #875

[PT] Turing Fellowships - extended deadline, 21 Decemebr, 2011

Wed, 14 Dec 2011 10:25:05 GMT

S B Cooper <pmt6sbc-BZrsHIzluEi3akq9WCwQ0Fpr/1R2p/[email protected]> • #874

[PT] Turing Centenary Conference, Cambridge, June 18-23, 2012

Sat, 10 Dec 2011 18:55:07 GMT

S B Cooper <pmt6sbc-BZrsHIzluEi3akq9WCwQ0Fpr/1R2p/[email protected]> • #873

[PT] IJCAR 2012: 2nd Call for Papers

Fri, 09 Dec 2011 23:52:57 +0100

Bernhard Gramlich <[email protected]> • #872

[PT] Postdoc position in mathematical logic at Utrecht University

Thu, 8 Dec 2011 11:48:38 +0100

Rosalie Iemhoff <[email protected]> • #871

[PT] Special issue of Information and Computation on ICC/DICE

Mon, 5 Dec 2011 18:17:06 +0100

Jean-Yves Marion <Jean-Yves.Marion-/[email protected]> • #870

[PT] Complexity School @LI2012 : call for participation

Sun, 04 Dec 2011 15:53:59 +0100

Patrick Baillot <[email protected]> • #869

[PT] Call for Papers: Trivalent Logics and their Applications (ESSLLI 2012 Workshop)

Sat, 3 Dec 2011 11:40:55 +0100

paul egré <[email protected]> • #868

[PT] LI2012: second call for participation

Mon, 28 Nov 2011 18:22:33 +0100

Lionel Vaux <[email protected]> • #867

[PT] Turing Fellowships and Scholarships

Mon, 21 Nov 2011 19:27:36 GMT

S B Cooper <pmt6sbc-BZrsHIzluEi3akq9WCwQ0Fpr/1R2p/[email protected]> • #866

[PT] 5th Scottish Category Theory Seminar: Programme

Fri, 11 Nov 2011 15:24:29 +0000

Alex Simpson <[email protected]> • #865

[PT] DICE 2012 - Second Call for Papers

Fri, 11 Nov 2011 15:23:39 +0100

Ugo Dal Lago <dallago-iEixELS/[email protected]> • #864

[PT] PhD studentships (2)

Sun, 6 Nov 2011 18:25:46 +0000

Alessio Guglielmi <[email protected]> • #863

[PT] SAT 2012: Call for Papers

Thu, 3 Nov 2011 19:14:14 +0100

Roberto Sebastiani <[email protected]> • #862

[PT] Milner Symposium, Edinburgh, 16-18 April 2012 - first announcement

Fri, 28 Oct 2011 14:26:32 +0100

Milner Symposium <[email protected]> • #861