The proof theory list page is no longer maintained here, please use the new link.
Proof Theory
Mailing List
This is a mailing list devoted to proof theory.
Click here to subscribe or here to unsubscribe; alternatively, send a message to Majordomo@Janeway.Inf.TU-Dresden.DE whose body contains `subscribe pt' or `unsubscribe pt' without quotes.
Subscription to the list is moderated. In case you ask for subscription but it's not clear to me you're not a spammer (for example you use a nickname and a commercial provider), I'll ask you for some information about yourself. Email addresses of subscribers are kept secret.
The list is not moderated. If you send a message to
the message is immediately delivered to all members. Please don't make this address publicly available in text form.
242 persons and one organisation are on the list today:
- Andreas Abel
- Rafael Accorsi
- Robin Adams
- Klaus Aehlig
- David Ahn
- Thorsten Altenkirch
- Roger Antonsen
- Ofer Arieli
- Zena Matilde Ariola
- S. Arun-Kumar
- Jeremy Avigad
- Arnon Avron
- Arnold Beckmann
- Marco Benini
- Martin Berger
- Lars Birkedal
- Nick Black
- Nina Bohr
- Eduardo Bonelli
- Gérard Boudol
- Sabine Broda
- Kai Brünnler
- Paola Bruscoli
- Andrés Eduardo Caicedo
- Luís Caires
- David Chemouil
- Dæv Clarke
- S. Barry Cooper
- Alexandre Costa Leite
- Jean-Pierre Cotton
- Judicaël Courant
- Pierre Courtieu
- Ugo Dal Lago
- Olivier Danvy
- Maulik Dave
- René David
- Rowan Davies
- Mariangiola Dezani
- Iavor S. Diatchki
- Pietro Di Gianantonio
- F. Miguel Dionísio
- Luís Albino Lorenzo Dominguez
- Manfred Droste
- Roy Dyckhoff
- Birgit Elbl
- José Carlos Espírito Santo
- Marcelo Etchegoyen
- Hai Fang
- Berndt Farwer
- Mário Florido
- FoLLI
- Thomas Forster
- Torkel Franzén
- David H. Friedman
- Harvey Friedman
- Bertram Fronhöfer
- Andy Fugard
- Carsten Führmann
- Tj Gabbour
- Didier Galmiche
- Nicola Gambino
- Silvia Gebellato
- Daniel Gebler
- Konstantinos Georgatos
- Lilia Georgieva
- Kathy Gerber
- Buday Gergely
- Johan Glimming
- Alwyn Goodloe
- Rajeev Goré
- Elaine Gouvêa Pimentel
- Clemens Grabmayer
- Adam Granicz
- Philippe de Groote
- Laurent Guerby
- Alessio Guglielmi
- Yves Guiraud
- Francisco Gutiérrez López
- Volker Halbach
- Michael Hallgren
- James Harland
- Robert Harper
- Dana G. Harrington
- Mitchell Harris
- Hugo Herbelin
- Pascal Hitzler
- Ole Hjortland
- Steffen Hölldobler
- Christian Horn
- Jacob Howe
- Hongde Hu
- Linpeng Huang
- Luther Huffman
- Matt Insall
- David Isles
- Herman Ruge Jervell
- Patricia Johann
- Jan Johannsen
- Martin K Jones
- Calvin Jongsma
- Joost J. Joosten
- Reinhard Kahle
- Ozan Kahramanogullari
- Bart Kastermans
- Benedict Kavanagh
- Aaron Keen
- Delia Kesner
- Ulrich Kohlenbach
- Vladimir Komendantsky
- Aatu Koskensilta
- Reto Kramer
- Axel Krauth
- Ronald Krijgsheld
- Alexander Kurz
- François Lamarche
- Yngve Lamo
- Rob Lass
- Olivier Laurent
- Per Kristian Lehre
- Daniel Leivant
- Pierre Lescanne
- Neil Leslie
- Paul Blain Levy
- Peter Lietz
- Lars Lindqvist
- Jim Lipton
- Ralph Loader
- Pablo López
- Ian Mackie
- Dmitry Malenko
- John Maraist
- Jean-Yves Marion
- John Matthews
- Matthew Maycock
- Robert McGrail
- Richard McKinley
- David T. McWherter
- Laurent Méhats
- Moneesha Mehta
- Sun Meng
- Marino Miculan
- Dale Miller
- Kenji Miyamoto
- Hiroyuki Miyoshi
- Chris Moline
- Peter Møller Neergaard
- Alberto Momigliano
- Enrico Moriconi
- Drew Moshier
- Till Mossakowski
- Fritz Müller
- Andrzej Murawski
- Hayao Nakahara
- Pavel Naumov
- Sara Negri
- Steve Newberry
- Ichiro Ogata
- Valeria de Paiva
- Nikolaos S. Papaspyrou
- Michel Parigot
- Matthew Parkinson
- Dirk Pattinson
- Mati Pentus
- Alberto Pettorossi
- Frank Pfenning
- Gordon Plotkin
- Jeffrey Polakow
- Michael Posegga
- Sanjiva Prasad
- Giuseppe Primiero
- Riccardo Pucella
- Carl Pulley
- David J. Pym
- João Filipe Rasga
- Fermin J. Reig Galilea
- Greg Restall
- Christian Retoré
- Wayne Richter
- Nikolaos Rigas
- A. Emanuel Robinson
- Simonetta Ronchi della Rocca
- Marcus Rossberg
- Luca Roversi
- Blas Carlos Ruiz Jiménez
- Saeed Salehi
- Enno Sandner
- Ari Saptawijaya
- Alexis Saurin
- Alexandre Scalzitti
- Andrea Schalk
- Ulrich Schoepp
- Peter Schroeder-Heister
- Sibylle Schwarz
- Cristina Sernadas
- Anton Setzer
- Ken Shan
- Wilfried Sieg
- Alex Simpson
- Alan Smaill
- Michael Anthony Smith
- Dieter Spreen
- Richard Statman
- Yiorgos Stavrinos
- Jasper Stein
- Charles Stewart
- Jurgen Stigter
- Christopher A. Stone
- Allen Stoughton
- Phiniki Stouppa
- Lutz Straßburger
- Jürgen Stuber
- David Swasey
- William Tait
- Hans-Jörg Tiede
- Alwen Tiu
- Henry Towsner
- Paul Trona
- Hugo Torres Vieira
- Tony Ungar
- Raymundo Urenda
- Tarmo Uustalu
- José Manuel Esgalhado Valença
- David Van Horn
- Galchin Vasili
- René Vestergaard
- Janis Voigtländer
- Fer-Jan de Vries
- Perry Wagle
- Jérémie Wajs
- Ning Wang
- Heinrich Wansing
- Pawel Waszkiewicz
- Filip Widebäck
- Claus-Peter Wirth
- Tobias Wrigstad
- Dinghao Wu
- Hal Yamaguchi
- Hongseok Yang
- Feng Yang Yue
- Daniel Yokomiso
- Richard Zach
- Yu Zhang
- Jeffery Zucker
Back to the Calculus of Structures
Back to ProofTheory.ORG
31.8.2003Alessio Guglielmiemail