Home » forums » LtU Forum

2nd CfP: Structures and Deductions

The domain is proof theory, the theme is "Eliminate Bureaucracy", the LtU angle is that if we can eliminate bureaucracy from proof theory, then we open the floodgates to applications of proof theory to computer science. That's the theory anyway...

Check out:

  1. The workshop homepage;
  2. The SD05 wiki page at Greg Restall's wiki;
  3. Fancy going to Lisbon in July? slashdot journal thread...
  4. LtU node #551 wherein Greg and I chatted about the workshop...
By Charles A Stewart at 2005-03-17 00:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 6685 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Mismatch

Alessio Guglielmi posted a message entitled "Mismatch" to the Foundations of Mathematics mailing list back in 2003, which provides a good introduction to the idea of eliminating bureaucracy from proof theory.

By Charles A Stewart at Mon, 2005-03-21 10:24 | login or register to post comments

Deadline extension

Quoting Francois Lamarche:
For technical reasons the Friday, April 15 deadline for Structures and Deductions 2005

http://www.prooftheory.org/sd05/

submissions at

http://www.easychair.org/SD05/submit/

has been given a short extension: the server will accept submissions until

Monday April 18 2005, at noon Paris time (GMT+2).

Those who are rushing to complete their submissions can have some more time to breathe.

By Charles A Stewart at Fri, 2005-04-15 15:58 | login or register to post comments