[TYPES/announce] ESSLLI 2024 - Call for Proposals

) - Heather Burnett (CNRS) Dan Lassiter (Edinburgh University) Bob van Tiel (Radboud University, Nijmegen) Area Chairs Logic and Computation (LoCo) Beniamino Accattoli (INRIA) Louwe Kuijer (University of Liverpool) Fan

[TYPES/announce] PPDP 2022 and LOPSTR 2022 Call for Participation

Beniamino Accattoli

[TYPES/announce] PPDP 2022 - 3rd Call for Papers - deadline extended

orsten Grust, University of Tuebingen Program Committee ------ Beniamino Accattoli, Inria & LIX Ecole Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salvador Abreu, NOVA LINCS / University of Evora

[TYPES/announce] PPDP 2022 - 2nd Call for Papers

Niki Vazou, IMDEA Florian Zuleger, Technische Universität Wien Program Committee - Beniamino Accattoli, Inria & LIX École Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Software Institute and Technical U. of Madrid, Spain (co-chair) Salv

[TYPES/announce] PPDP 2022 - 1st Call for Papers

beyond the above-mentioned page limits. Reviewers are not required to study extended versions or any material beyond the respective page limit. Program Committee -- Beniamino Accattoli, Inria & LIX École Polytechnique, France (co-chair) Manuel Hermenegildo, IMDEA Soft

[TYPES/announce] LSFA 2018, Deadline Extension (2 weeks)

Angeles & University of Athens. * Andreas Herzig, CNRS, IRIT, Université de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade

[TYPES/announce] LSFA 2018, Final CfP

é de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University

[TYPES/announce] LSFA 2018, 3rd CfP

é de Toulouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University

[TYPES/announce] LSFA 2018, 2nd CfP

ouse. * Alessandra Palmigiano, Delft University of Technology. * Amy Felty, University of Ottawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mar

[TYPES/announce] 1st CfP: LSFA 2018

tawa. PROGRAMME COMMITTEE * Beniamino Accattoli, Inria & Ecole Polytechnique, co-chair * Carlos Olarte, Universidade Federal do Rio Grande do Norte, co-chair * Sandra Alves, University of Porto * Mario Alvim, Universidade Federal de Minas Gerais * Carlos Areces, Universidad Nacional de Córdoba *

[TYPES/announce] PhD on Lambda-Calculus, in Paris

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, There is a 3-years PhD scholarship to work on the lambda-calculus and its cost models, under my supervision. The scholarship is funded by the COCA HOLA project

[TYPES/announce] IWC 2016 - DEADLINE EXTENSION

erot University) PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Bertram Felgenhauer (University of Innsbruck) * Yves Guiraud (INRIA & Paris Diderot University) * Nao Hirokawa (JAIST) * Koji Nakazawa (Nagoya) * Ashish Tiwari (Menlo Park) SUBMISSION: We solicit short papers or

[TYPES/announce] IWC 2016 - Second Call for Papers

GRAM COMMITTEE: * Beniamino Accattoli (INRIA) * Bertram Felgenhauer (University of Innsbruck) * Yves Guiraud (INRIA & Paris Diderot University) * Nao Hirokawa (JAIST) * Koji Nakazawa (Nagoya) * Ashish Tiwari (Menlo Park) SUBMISSION: We solicit short papers or extended abstracts of at m

[TYPES/announce] 1st CFP: IWC 2016

confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * TBD PROGRAM COMMITTEE: * Beniamino Accattoli (INRIA), co-chair * Bertram Felgenhauer (University of Innsbruck