gmane.science.mathematics.frogs archive
378 archived articles, newest first (page 1 of 4). Latest articles →
Removed from frogs
Tue, 6 Sep 2016 07:18:24 +0100Linear Logic 2016 (Nov 7-10): Autumn school and Workshops
Thu, 28 Jul 2016 13:18:38 +0200PhD positions from October 2016 at the University of Bath
Mon, 8 Feb 2016 07:58:41 +0000Workshop on Efficient and Natural Proof Systems: 14-16 December, Bath.
Wed, 25 Nov 2015 10:46:24 +0100Workshop on Efficient and Natural Proof Systems: Call for participation. 14-16 December, Bath.
Fri, 13 Nov 2015 01:29:06 +0100VCLA International Student Awards 2015 - deadline extended to Nov. 22
Thu, 12 Nov 2015 09:59:55 +0100Workshop on Efficient and Natural Proof Systems, Bath, December 15th-16th, 2015.
Thu, 3 Sep 2015 14:51:22 +0200Virginia Lake 3.0
Sun, 30 Aug 2015 19:03:09 +0000Fwd: Question about proof of law of excluded middle in HOL Light
Fri, 15 May 2015 19:25:15 +0000Fwd: Encyclopaedia of Proof Systems
Tue, 17 Feb 2015 08:01:07 +0000UCL: Faculty Position in Programming Principles, Logic, and Verification
Sat, 24 Jan 2015 11:56:20 +0000Final CfP: DICE 2015
Tue, 13 Jan 2015 11:27:16 +01003.5-year PhD positions from October 2015 at the University of Bath
Sun, 14 Dec 2014 16:47:54 +0000DICE 2015: Call for papers
Fri, 21 Nov 2014 12:04:38 +0100Structures and Deduction 2014 - call for participation
Tue, 03 Jun 2014 09:39:55 +0100PhD Studentship at UCL: Algebra and Logic for Policy and Utility in Information Security
Tue, 27 May 2014 11:40:51 +0000∀X.Xπ - APPA - Call for Participa tion/Registration
Wed, 7 May 2014 14:21:32 +0200VirginiaLake 2.01
Mon, 5 May 2014 13:40:37 +0100Workshop "Structures and Deduction" at VSL2014
Thu, 17 Apr 2014 15:06:31 +0200 (CEST)Re: Deadline Extension: SD14, July 12-13, 2014, Vienna
Tue, 15 Apr 2014 21:18:11 +0200 (CEST)Deadline Extension: SD14, July 12-13, 2014, Vienna
Sun, 13 Apr 2014 22:31:33 +0200 (CEST)PhD Studentships from October 2014 at the University of Bath
Fri, 4 Apr 2014 20:25:15 +0100LATD 2014 - Deadline extension
Fri, 04 Apr 2014 17:14:45 +0200JLC Special Issue on Logics for Resources, Processes, and Programs
Mon, 3 Mar 2014 17:29:43 +0000CFP: Workshop on Gentzen Systems and Beyond, Vienna (Austria), 13 July 2014
Wed, 5 Feb 2014 13:05:29 +01002nd CFP LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria), 16-19 Jul 2014
Mon, 3 Feb 2014 12:18:07 +0100First Call for Papers for SD14, July 12-13, 2014, Vienna
Tue, 21 Jan 2014 16:59:48 +0100 (CET)Welcome to the new Gmail inbox
Fri, 6 Dec 2013 01:41:43 -0800PhD Studentships at the University of Bath - Mathematical Foundations of Computation
Fri, 6 Dec 2013 09:48:02 +0000JLC Special Issue: Logics for Resources, Processes, and Programs
Fri, 29 Nov 2013 16:10:41 +0000PhD Studentships at the University of Bath
Sat, 2 Nov 2013 21:30:15 +0000LRPP 2013 @ Tableaux 2013: Last Call for Papers: Deadline 26 July 2013
Wed, 26 Jun 2013 13:55:09 +0100Second Call: Workshop on Logics for Resources, Processes and Programs (LRPP 2013)
Fri, 14 Jun 2013 19:08:11 +0100Bruno Woltzenlogel Paleo invited you to Workshop on Proof Compression
Fri, 10 May 2013 03:06:49 -0700 (PDT)PhD Research Project: Efficient and Natural Proof Systems
Mon, 18 Mar 2013 17:33:33 +0000Two preprints
Fri, 22 Feb 2013 19:03:49 +0000Linear inferences and derivations 3
Tue, 19 Feb 2013 15:23:12 +0000interana: interactive prover for Multiplicative Linear Logic
Mon, 18 Feb 2013 15:46:59 +0100Two recent books
Tue, 29 Jan 2013 15:47:29 +0000Postdoc position in proof theory in Paris
Thu, 10 Jan 2013 13:35:40 +0100 (CET)Re: Post-doc in Bath on the semantics of a
Wed, 9 Jan 2013 17:34:15 +0000Re: Post-doc in Bath on the semantics of a
Mon, 7 Jan 2013 17:04:53 +0000Re: Post-doc in Bath on the semantics of a bureaucracy-free formalism
Fri, 04 Jan 2013 16:03:16 -0430Post-doc in Bath on the semantics of a bureaucracy-free formalism
Fri, 4 Jan 2013 15:31:41 +0000PhD opportunities
Sun, 18 Nov 2012 19:17:25 +0000Linear inferences and derivations 2
Wed, 26 Sep 2012 18:10:04 +0100Linear inferences and derivations 1
Wed, 26 Sep 2012 17:22:22 +0100Re: Quasipolynomial cut-elimination in CoS
Fri, 3 Aug 2012 13:10:16 +0200Quasipolynomial cut-elimination in CoS
Fri, 3 Aug 2012 06:18:07 +0000Note: Pigeonhole principle in deep inference
Mon, 04 Jun 2012 20:45:11 +0100Last CFP: Workshop on Logics for Resources, Processes and Programs (LRPP 2012)
Tue, 8 May 2012 18:30:47 +0100Announcement
Tue, 27 Sep 2011 13:34:22 +0100Bruno Woltzenlogel Paleo invited you to join him on Google+
Mon, 11 Jul 2011 04:13:58 +0000Marketing
Fri, 6 May 2011 20:03:26 +0100Postdoc position in proof theory in Paris
Mon, 25 Apr 2011 03:49:34 +0200 (CEST)Sophia Strassburger
Sat, 16 Apr 2011 14:55:24 +0100Re: Deeper Cuts in Deep Inference
Thu, 17 Mar 2011 11:22:31 +0000Re: Deeper Cuts in Deep Inference
Thu, 17 Mar 2011 03:17:46 +0100Re: Deeper Cuts in Deep Inference
Wed, 16 Mar 2011 21:46:16 -0300Re:Deeper Cuts in Deep Inference
Tue, 15 Mar 2011 20:29:45 +0000Deeper Cuts in Deep Inference
Tue, 15 Mar 2011 15:17:33 -0300deep inference combinators implementation
Wed, 16 Feb 2011 22:14:54 +0100Facebook Pages on Logical Subjects
Thu, 20 Jan 2011 11:08:38 -0500Re: HDR
Mon, 10 Jan 2011 19:09:49 +0100RE: HDR
Mon, 10 Jan 2011 08:28:22 +0000HDR
Fri, 7 Jan 2011 11:43:33 +0100 (CET)REDO meeting in Bath, Sep 14-16
Fri, 20 Aug 2010 15:10:43 +0200 (CEST)Re: Animated Proofs
Sat, 03 Apr 2010 00:04:07 -0400Re: Animated Proofs : Praeclarum Theorema
Mon, 22 Mar 2010 10:18:09 -0400Re: [FOM] Animated Proofs
Sun, 14 Mar 2010 20:09:21 -0400Animated Proofs
Sun, 14 Mar 2010 15:04:45 -0400Re:Syntax Independence?
Mon, 8 Mar 2010 11:01:13 +0100Re: Re: Re: Re: Extension
Thu, 4 Mar 2010 06:31:50 -0800Re: Re: Re: Re: Extension
Thu, 4 Mar 2010 06:27:53 -0800Syntax Independence?
Wed, 03 Mar 2010 14:14:18 +0000Re: Re: Re: Extension
Wed, 3 Mar 2010 15:03:44 +0100Re: Re: Re: Extension
Wed, 3 Mar 2010 10:32:49 +0100 (CET)Re: Re: Extension
Tue, 2 Mar 2010 17:51:07 +0100Re: Re: Extension
Tue, 2 Mar 2010 14:18:52 +0100 (CET)Re: Extension
Tue, 2 Mar 2010 12:44:21 +0100Re: Re: Extension
Tue, 2 Mar 2010 09:54:35 +0100 (CET)Re: Extension
Tue, 2 Mar 2010 01:26:05 +0100Meeting in Vienna
Wed, 5 Aug 2009 13:13:35 +0200decomposition and splitting for NEL
Mon, 30 Mar 2009 11:03:10 +0200 (CEST)Quasipolynomial normalisation in deep inference
Wed, 25 Mar 2009 13:07:49 +0100Workshop Announcement: Gentzen Systems and Beyond
Tue, 17 Mar 2009 15:56:11 +0100Deadline Extension for SD'09 in Bordeaux
Mon, 2 Mar 2009 23:56:52 +0100 (CET)Re: (Frogs) Calculus of Structures and substructura
Fri, 13 Feb 2009 12:53:10 +0100Re: (Frogs) Calculus of Structures and substructura
Fri, 13 Feb 2009 12:33:50 +0100Re: (Frogs) Calculus of Structures and substructura
Fri, 13 Feb 2009 11:02:19 +0100Re: (Frogs) Calculus of Structures and substructura
Thu, 12 Feb 2009 18:27:06 +0100 (CET)(Frogs) Calculus of Structures and substructural lo
Wed, 11 Feb 2009 19:17:39 +0100Re: Workshop "Stuctures and Deduction", Bordeaux, J
Wed, 11 Feb 2009 08:18:04 -0500Workshop "Stuctures and Deduction", Bordeaux, July
Wed, 11 Feb 2009 10:50:48 +0100 (CET)[Proof Complexity] a PhD student position in Prague
Thu, 5 Feb 2009 17:40:18 +0100Avoiding Red Tape Frees Up Logic (ARTFUL)
Wed, 05 Nov 2008 13:04:20 -0500Correction
Sun, 2 Nov 2008 11:11:10 +0100Change of address
Sun, 2 Nov 2008 10:56:19 +0100self-introduction : jon awbrey
Thu, 30 Oct 2008 09:22:12 -0500Call For Papers: Analytic Proof Systems 4
Thu, 18 Sep 2008 10:32:55 +0200 (CEST)
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.