frogs@janeway.lnf.tu-dresden.de

0

replies

Structures and Deduction 2014 - call for participation

started 2014-06-03 13:39:55 UTC

2014-06-03 13:39:55 UTC

Willem Heijltjes

0

replies

PhD Studentship at UCL: Algebra and Logic for Policy and Utility in Information Security

started 2014-05-27 16:40:51 UTC

2014-05-27 16:40:51 UTC

Pym, David

0

replies

∀X.Xπ - APPA - Call for Participation/Registration

started 2014-05-07 17:21:32 UTC

2014-05-07 17:21:32 UTC

Bruno Woltzenlogel Paleo

0

replies

VirginiaLake 2.01

started 2014-05-05 17:40:37 UTC

2014-05-05 17:40:37 UTC

Alessio Guglielmi

0

replies

Workshop "Structures and Deduction" at VSL2014

started 2014-04-17 18:06:31 UTC

2014-04-17 18:06:31 UTC

Lutz Strassburger

1

reply

Deadline Extension: SD14, July 12-13, 2014, Vienna

started 2014-04-14 01:31:33 UTC

2014-04-16 00:18:11 UTC

Lutz Strassburger

0

replies

PhD Studentships from October 2014 at the University of Bath

started 2014-04-05 00:25:15 UTC

2014-04-05 00:25:15 UTC

Alessio Guglielmi

0

replies

LATD 2014 - Deadline extension

started 2014-04-04 20:14:45 UTC

2014-04-04 20:14:45 UTC

Bjoern Lellmann

0

replies

JLC Special Issue on Logics for Resources, Processes, and Programs

started 2014-03-03 23:29:43 UTC

2014-03-03 23:29:43 UTC

Pym, David

0

replies

CFP: Workshop on Gentzen Systems and Beyond, Vienna (Austria), 13 July 2014

started 2014-02-05 18:05:29 UTC

2014-02-05 18:05:29 UTC

Kuznets

0

replies

2nd CFP LATD 2014: Logic, Algebra and Truth Degrees, Vienna (Austria), 16-19 Jul 2014

started 2014-02-03 17:18:07 UTC

2014-02-03 17:18:07 UTC

Bjoern Lellmann

0

replies

First Call for Papers for SD14, July 12-13, 2014, Vienna

started 2014-01-21 21:59:48 UTC

2014-01-21 21:59:48 UTC

Lutz Strassburger

0

replies

PhD Studentships at the University of Bath - Mathematical Foundations of Computation

started 2013-12-06 15:48:02 UTC

2013-12-06 15:48:02 UTC

Alessio Guglielmi

0

replies

Welcome to the new Gmail inbox

started 2013-12-06 15:41:43 UTC

2013-12-06 15:41:43 UTC

Gmail Team

0

replies

JLC Special Issue: Logics for Resources, Processes, and Programs

started 2013-11-29 22:10:41 UTC

2013-11-29 22:10:41 UTC

David Pym

0

replies

PhD Studentships at the University of Bath

started 2013-11-03 02:30:15 UTC

2013-11-03 02:30:15 UTC

Alessio Guglielmi

0

replies

LRPP 2013 @ Tableaux 2013: Last Call for Papers: Deadline 26 July 2013

started 2013-06-26 17:55:09 UTC

2013-06-26 17:55:09 UTC

Pym, Professor David J.

0

replies

Second Call: Workshop on Logics for Resources, Processes and Programs (LRPP 2013)

started 2013-06-14 23:08:11 UTC

2013-06-14 23:08:11 UTC

Pym, Professor David J.

0

replies

Bruno Woltzenlogel Paleo invited you to Workshop on Proof Compression

started 2013-05-10 15:06:49 UTC

2013-05-10 15:06:49 UTC

Bruno Woltzenlogel Paleo (Google+)

0

replies

PhD Research Project: Efficient and Natural Proof Systems

started 2013-03-18 22:33:33 UTC

2013-03-18 22:33:33 UTC

Alessio Guglielmi

0

replies

Two preprints

started 2013-02-23 01:03:49 UTC

2013-02-23 01:03:49 UTC

Anupam Das

0

replies

Linear inferences and derivations 3

started 2013-02-19 21:23:12 UTC

2013-02-19 21:23:12 UTC

Anupam Das

0

replies

interana: interactive prover for Multiplicative Linear Logic

started 2013-02-18 20:46:59 UTC

2013-02-18 20:46:59 UTC

Ozan Kahramanogullari

0

replies

Two recent books

started 2013-01-29 21:47:29 UTC

2013-01-29 21:47:29 UTC

Alessio Guglielmi

0

replies

Postdoc position in proof theory in Paris

started 2013-01-10 18:35:40 UTC

2013-01-10 18:35:40 UTC

Lutz Strassburger

3

replies

Post-doc in Bath on the semantics of a bureaucracy-free formalism

started 2013-01-04 21:31:41 UTC

2013-01-09 23:34:15 UTC

Alessio Guglielmi

0

replies

PhD opportunities

started 2012-11-19 01:17:25 UTC

2012-11-19 01:17:25 UTC

Alessio Guglielmi

0

replies

Linear inferences and derivations 2

started 2012-09-26 22:10:04 UTC

2012-09-26 22:10:04 UTC

Anupam Das

0

replies

Linear inferences and derivations 1

started 2012-09-26 21:22:22 UTC

2012-09-26 21:22:22 UTC

Anupam Das

1

reply

Quasipolynomial cut-elimination in CoS

started 2012-08-03 11:18:07 UTC

2012-08-03 16:10:16 UTC

Tom Gundersen