[Hol-info] CFP: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020), with special session in honour of Frank Pfenning

Frédéric Blanqui, INRIA Alberto Ciaffaglione, University of Udine Dennis Müller, Friedrich-Alexander-University Erlangen-Nürnberg Michael Norrish, Data61 Carlos Olarte, Universidade Federal do Rio Grande do Norde Claudio Sacerdoti Coen, University of Bologna (PC Co-Chair) Ulrich Schöpp, fortiss Gm

[Hol-info] LFMTP 2020 CFP (UPDATES due to Coronavirus)

, which will undergo a proper review. 3) The submission deadline is now extended to 18 May 2020. The amended call for papers can be found below. Regards, Claudio Sacerdoti-Coen and Alwen Tiu LFMTP PC Chairs CALL FOR PAPERS Logical Frameworks and Meta

[Hol-info] WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)

reno Falaschi (Università di Siena, Italy) Michael Hanus (University of Kiel, Germany) (Co-Chair) Herbert Kuchen (University of Muenster, Germany) Dale Miller (INRIA and LIX/Ècole Polytechnique) Claudio Sacerdoti Coen (University of Bologna, Italy) (Co-Chair) Konstantinos Sagonas (Uppsala Univer

[Hol-info] LFMTP 2020 Post-Proceedings: Call for Papers

nnis Müller, Friedrich-Alexander-University Erlangen-Nürnberg Michael Norrish, Data61 Carlos Olarte, Universidade Federal do Rio Grande do Norde Claudio Sacerdoti Coen, University of Bologna (PC Co-Chair) Ulrich Schöpp, fortiss GmbH Alwen Tiu, Australian National University (PC Co-Chair) Tjark W

[Hol-info] LFMTP2020 Call for Participation

David Baelde, LSV, ENS Paris-Saclay & Inria Paris Frédéric Blanqui, INRIA Alberto Ciaffaglione, University of Udine Dennis Müller, Friedrich-Alexander-University Erlangen-Nürnberg Michael Norrish, Data61 Carlos Olarte, Universidade Federal do Rio Grande do Norde Claudio Sacerdoti Coen,

[Hol-info] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science

Pisa) PROGRAM COMMITTEE Program Committee: Claudio Sacerdoti Coen (co-chair) (University of Bologna, Italy) Ivano Salvo (co-chair) (University of Roma “Sapienza”, Italy) Franco Barbanera (University of Catania, Italy) Davide Bilò (University

[Hol-info] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)

the possibility of having a journal special issue for extended versions of selected contributions. ## Program Committee * Florian Rabe (University of Erlangen-Nuremberg), co-chair * Claudio Sacerdoti Coen (University of Bologna), co-chair * Mauricio Ayala-Rincón (University of Brasilia) * Mario Carneiro