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