[Logica-l] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)

ing 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 (Carnegie M

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

e 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 Car

[Logica-l] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science

di 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 of

[Logica-l] 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

[Logica-l] 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,

[Logica-l] 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

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

RIA 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 GmbH Alwen Tiu, Australian Na