gmane.science.mathematics.frogs

607 articles on record, showing the most recent 50.

Removed from frogs
Tue, 6 Sep 2016 07:18:24 +0100
<[email protected]> • #658
Linear Logic 2016 (Nov 7-10): Autumn school and Workshops
Thu, 28 Jul 2016 13:18:38 +0200
Anupam Das <[email protected]> • #657
PhD positions from October 2016 at the University of Bath
Mon, 8 Feb 2016 07:58:41 +0000
Alessio Guglielmi <[email protected]> • #656
Workshop on Efficient and Natural Proof Systems: 14-16 December, Bath.
Wed, 25 Nov 2015 10:46:24 +0100
[email protected] • #655
Workshop on Efficient and Natural Proof Systems: Call for participation. 14-16 December, Bath.
Fri, 13 Nov 2015 01:29:06 +0100
Anupam Das <[email protected]> • #654
VCLA International Student Awards 2015 - deadline extended to Nov. 22
Thu, 12 Nov 2015 09:59:55 +0100
Bjoern Lellmann <[email protected]> • #653
Workshop on Efficient and Natural Proof Systems, Bath, December 15th-16th, 2015.
Thu, 3 Sep 2015 14:51:22 +0200
Anupam Das <[email protected]> • #652
Virginia Lake 3.0
Sun, 30 Aug 2015 19:03:09 +0000
Alessio Guglielmi <[email protected]> • #651
Fwd: Question about proof of law of excluded middle in HOL Light
Fri, 15 May 2015 19:25:15 +0000
Paola Bruscoli <[email protected]> • #650
Fwd: Encyclopaedia of Proof Systems
Tue, 17 Feb 2015 08:01:07 +0000
Alessio Guglielmi <[email protected]> • #649
UCL: Faculty Position in Programming Principles, Logic, and Verification
Sat, 24 Jan 2015 11:56:20 +0000
"Pym, David" <d.pym-hclig2XLE9Zaa/[email protected]> • #648
Final CfP: DICE 2015
Tue, 13 Jan 2015 11:27:16 +0100
Anupam Das <[email protected]> • #647
3.5-year PhD positions from October 2015 at the University of Bath
Sun, 14 Dec 2014 16:47:54 +0000
Alessio Guglielmi <[email protected]> • #646
DICE 2015: Call for papers
Fri, 21 Nov 2014 12:04:38 +0100
Anupam Das <[email protected]> • #645
Structures and Deduction 2014 - call for participation
Tue, 03 Jun 2014 09:39:55 +0100
Willem Heijltjes <[email protected]> • #644
PhD Studentship at UCL: Algebra and Logic for Policy and Utility in Information Security
Tue, 27 May 2014 11:40:51 +0000
"Pym, David" <d.pym-hclig2XLE9Zaa/[email protected]> • #643
∀X.Xπ - APPA - Call for Participa tion/Registration
Wed, 7 May 2014 14:21:32 +0200
Bruno Woltzenlogel Paleo <[email protected]> • #642
VirginiaLake 2.01
Mon, 5 May 2014 13:40:37 +0100
Alessio Guglielmi <[email protected]> • #641
Workshop "Structures and Deduction" at VSL2014
Thu, 17 Apr 2014 15:06:31 +0200 (CEST)
Lutz Strassburger <[email protected]> • #640
Re: Deadline Extension: SD14, July 12-13, 2014, Vienna
Tue, 15 Apr 2014 21:18:11 +0200 (CEST)
Lutz Strassburger <[email protected]> • #639
Deadline Extension: SD14, July 12-13, 2014, Vienna
Sun, 13 Apr 2014 22:31:33 +0200 (CEST)
Lutz Strassburger <[email protected]> • #638
PhD Studentships from October 2014 at the University of Bath
Fri, 4 Apr 2014 20:25:15 +0100
Alessio Guglielmi <[email protected]> • #637
LATD 2014 - Deadline extension
Fri, 04 Apr 2014 17:14:45 +0200
Bjoern Lellmann <[email protected]> • #636
JLC Special Issue on Logics for Resources, Processes, and Programs
Mon, 3 Mar 2014 17:29:43 +0000
"Pym, David" <d.pym-hclig2XLE9Zaa/[email protected]> • #635
CFP: Workshop on Gentzen Systems and Beyond, Vienna (Austria), 13 July 2014
Wed, 5 Feb 2014 13:05:29 +0100
Kuznets <[email protected]> • #634
2nd CFP LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria), 16-19 Jul 2014
Mon, 3 Feb 2014 12:18:07 +0100
Bjoern Lellmann <[email protected]> • #633
First Call for Papers for SD14, July 12-13, 2014, Vienna
Tue, 21 Jan 2014 16:59:48 +0100 (CET)
Lutz Strassburger <[email protected]> • #632
Welcome to the new Gmail inbox
Fri, 6 Dec 2013 01:41:43 -0800
Gmail Team <[email protected]> • #631
PhD Studentships at the University of Bath - Mathematical Foundations of Computation
Fri, 6 Dec 2013 09:48:02 +0000
Alessio Guglielmi <[email protected]> • #630
JLC Special Issue: Logics for Resources, Processes, and Programs
Fri, 29 Nov 2013 16:10:41 +0000
David Pym <d.pym-hclig2XLE9Zaa/[email protected]> • #629
PhD Studentships at the University of Bath
Sat, 2 Nov 2013 21:30:15 +0000
Alessio Guglielmi <[email protected]> • #628
LRPP 2013 @ Tableaux 2013: Last Call for Papers: Deadline 26 July 2013
Wed, 26 Jun 2013 13:55:09 +0100
"Pym, Professor David J." <[email protected]> • #627
Second Call: Workshop on Logics for Resources, Processes and Programs (LRPP 2013)
Fri, 14 Jun 2013 19:08:11 +0100
"Pym, Professor David J." <[email protected]> • #626
Bruno Woltzenlogel Paleo invited you to Workshop on Proof Compression
Fri, 10 May 2013 03:06:49 -0700 (PDT)
"Bruno Woltzenlogel Paleo (Google+)" <[email protected]> • #625
PhD Research Project: Efficient and Natural Proof Systems
Mon, 18 Mar 2013 17:33:33 +0000
Alessio Guglielmi <[email protected]> • #624
Two preprints
Fri, 22 Feb 2013 19:03:49 +0000
Anupam Das <anupampoint14159-gM/[email protected]> • #623
Linear inferences and derivations 3
Tue, 19 Feb 2013 15:23:12 +0000
Anupam Das <[email protected]> • #622
interana: interactive prover for Multiplicative Linear Logic
Mon, 18 Feb 2013 15:46:59 +0100
Ozan Kahramanogullari <[email protected]> • #621
Two recent books
Tue, 29 Jan 2013 15:47:29 +0000
Alessio Guglielmi <[email protected]> • #620
Postdoc position in proof theory in Paris
Thu, 10 Jan 2013 13:35:40 +0100 (CET)
Lutz Strassburger <[email protected]> • #619
Re: Post-doc in Bath on the semantics of a
Wed, 9 Jan 2013 17:34:15 +0000
Alessio Guglielmi <[email protected]> • #618
Re: Post-doc in Bath on the semantics of a
Mon, 7 Jan 2013 17:04:53 +0000
Alessio Guglielmi <[email protected]> • #617
Re: Post-doc in Bath on the semantics of a bureaucracy-free formalism
Fri, 04 Jan 2013 16:03:16 -0430
Karn Kallio <[email protected]> • #616
Post-doc in Bath on the semantics of a bureaucracy-free formalism
Fri, 4 Jan 2013 15:31:41 +0000
Alessio Guglielmi <[email protected]> • #615
PhD opportunities
Sun, 18 Nov 2012 19:17:25 +0000
Alessio Guglielmi <[email protected]> • #614
Linear inferences and derivations 2
Wed, 26 Sep 2012 18:10:04 +0100
Anupam Das <[email protected]> • #613
Linear inferences and derivations 1
Wed, 26 Sep 2012 17:22:22 +0100
Anupam Das <[email protected]> • #612
Re: Quasipolynomial cut-elimination in CoS
Fri, 3 Aug 2012 13:10:16 +0200
Tom Gundersen <[email protected]> • #611
Quasipolynomial cut-elimination in CoS
Fri, 3 Aug 2012 06:18:07 +0000
Giorgi Japaridze <[email protected]> • #610
Note: Pigeonhole principle in deep inference
Mon, 04 Jun 2012 20:45:11 +0100
Anupam Das <[email protected]> • #609