[TYPES/announce] ESSLLI 2023: Second Call for Course and Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Course and Workshop Proposals   34th European Summer School in Logic, Language and Information – ESSLLI 2023 31 July–11 August, 2023, Ljubljana, Slovenia

[TYPES/announce] Deadline Extension: SD14, July 12-13, 2014, Vienna

) - chair James Laird (University of Bath) Chuck Liang (Hofstra Unviersity) Michel Parigot (CNRS - Université Paris 7) Elaine Pimentel (UFMG) Revantha Ramanayake (Vienna University of Technology) Luca Roversi (University Torino) Lutz Strassburger (Inria) - chair Christine

[TYPES/announce] Third and Last Call for Papers for SD14, July 12-13, 2014, Vienna

) - chair James Laird (University of Bath) Chuck Liang (Hofstra Unviersity) Michel Parigot (CNRS - Université Paris 7) Elaine Pimentel (UFMG) Revantha Ramanayake (Vienna University of Technology) Luca Roversi (University Torino) Lutz Strassburger (Inria) - chair

[TYPES/announce] Second Call for Papers for SD14, July 12-13, 2014, Vienna

) - chair James Laird (University of Bath) Chuck Liang (Hofstra Unviersity) Michel Parigot (CNRS - Université Paris 7) Elaine Pimentel (UFMG) Revantha Ramanayake (Vienna University of Technology) Luca Roversi (University Torino) Lutz Strassburger (Inria) - chair Christine

[TYPES/announce] First Call for Papers for SD14, July 12-13, 2014, Vienna

(University of Bath)    Chuck Liang (Hofstra Unviersity)    Michel Parigot (CNRS - Université Paris 7)    Elaine Pimentel (UFMG)    Revantha Ramanayake (Vienna University of Technology)    Luca Roversi (University Torino)    Lutz Strassburger (Inria) - chair    Christine Tasson (Laboratoire PPS)    Alwen

[TYPES/announce] Postdoc position in proof theory in Paris

://www.lix.polytechnique.fr/~lutz/orgs/structural-postdoc.html or contact Lutz Strassburger l...@lix.polytechnique.fr Applications should be sent via email to Lutz Strassburger l...@lix.polytechnique.fr and should include a CV, a research statement (1-2 pages), and one or two recommendation letters

[TYPES/announce] Postdoc Position at LIX/Ecole Polytechnique

, a research statement of 1-2 pages, explaining how they would integrate in the Parsifal team, and two recommendation letters (or names of at least two references) to: Lutz Strassburger l...@lix.polytechnique.fr Deadline: August 24, 2012

[TYPES/announce] Postdoc position in proof theory in Paris

in the area of proof theory within the project STRUCTURAL. There are no teaching duties. For further information, see http://www.lix.polytechnique.fr/~lutz/orgs/structural-postdoc.html or contact Lutz Strassburger l...@lix.polytechnique.fr or Kaustuv Chaudhuri kaustuv.chaudh...@inria.fr Applications

[TYPES/announce] Deadline Extension for SD'09 in Bordeaux

Further details can be found on the webpage http://www.lix.polytechnique.fr/~lutz/orgs/SD09.html Kind regards, Lutz Strassburger

[TYPES/announce] Last CfP (and Deadline Extension): Workshop SD09, Bordeaux, July 20-24, 2009

Parigot (Paris) Lutz Strassburger (Palaiseau) Kazushige Terui (Kyoto) ORGANIZERS: Michel Parigot (CNRS, Univ. Paris 7, France) Lutz Strassburger (INRIA Saclay-IdF, France) LOCAL ARRANGEMENTS: All workshop participants including the presenters will be required to register for ESSLLI. The registration

[TYPES/announce] Second CfP: Structures and Deduction, Bordeaux, July 20-24, 2009

.labri.fr/ July 20 - 31, 2009 in Bordeaux *** ORGANIZERS: Michel Parigot (CNRS, Univ. Paris 7, France) Lutz Strassburger (INRIA Saclay-IdF, France) DESCRIPTION OF THE WORKSHOP: The topic of this workshop

[TYPES/announce] CfP Workshop Structures and Deduction, Bordeaux, July 20-24, 2009

.labri.fr/ July 20 - 31, 2009 in Bordeaux *** ORGANIZERS: Michel Parigot (CNRS, Univ. Paris 7, France) Lutz Strassburger (INRIA Saclay-IdF, France) DESCRIPTION OF THE WORKSHOP: The topic of this workshop