From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10519 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Carsten Fuhs Newsgroups: gmane.science.mathematics.categories Subject: FSCD 2021: Call for (Online) Participation Date: Mon, 14 Jun 2021 13:36:20 +0100 Message-ID: Reply-To: Carsten Fuhs Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7255"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Mon Jun 14 22:54:25 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lstbD-0001e4-R5 for gsmc-categories@m.gmane-mx.org; Mon, 14 Jun 2021 22:54:23 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:34108) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lstab-00038s-1f; Mon, 14 Jun 2021 17:53:45 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lstaR-0006Mz-DO for categories-list@rr.mta.ca; Mon, 14 Jun 2021 17:53:35 -0300 Content-Language: es-EC Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10519 Archived-At: CALL FOR PARTICIPATION Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 ??? July 24, 2021, Buenos Aires, Argentina https://fscd2021.github.io/ In-cooperation with ACM SIGLOG and SIGPLAN The 2021 edition of FSCD and of its satellite workshops will be held online. Participation will, a priori, be free of charge, unless we receive way too many requests, in which case we will invite those who can to pay the modest amount of 7 USD. FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g., quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g., blockchain protocols or deep learning algorithms). REGISTRATION --------------- The registration page is already open and linked from: https://fscd2021.dc.uba.ar/registration.html This link should be used also to register for affiliated workshops. Registration is open until July 11. FSCD 2021 will run over the Clowdr platform. After the registration is closed, you will receive an invitation link and instructions on how to participate. INVITED SPEAKERS ---------------- - Zena M. Ariola https://ix.cs.uoregon.edu/~ariola/ - Nao Hirokawa https://www.jaist.ac.jp/~hirokawa/ - Elaine Pimentel https://sites.google.com/site/elainepimentel/ - Sam Staton https://www.cs.ox.ac.uk/people/samuel.staton/main.html FSCD AFFILIATED WORKSHOPS: -------------------------- - HoTT/UF (6th Workshop on Homotopy Type Theory/Univalent Foundations, July 17-18) - ITRS (10th Workshop on Intersection Types and Related Systems, July 17) - WPTE (7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, July 18) - UNIF (35th International Workshop on Unification, July 18) - LSFA (16th Logical and Semantics Frameworks with Applications, July 23-24) - IWC (10th International Workshop on Confluence, July 23) - IFIP WG 1.6 (24th meeting of the IFIP Working Group 1.6: Rewriting, July 24) PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021@easychair.org PROGRAM COMMITTEE ----------------- Mauricio Ayala-Rinc??n, Universidade de Bras??lia Stefano Berardi, University of Torino Fr??d??ric Blanqui, INRIA Eduardo Bonelli, Stevens Institute of Technology ??velyne Contejean, CNRS, Universit?? Paris-Saclay Thierry Coquand, University of Gothenburg Thomas Ehrhard, Universit?? de Paris, CNRS Santiago Escobar, Univ. Polit??cnica de Val??ncia Jos?? Esp??rito Santo, University of Minho Claudia Faggian, Universit?? de Paris, CNRS Amy Felty, University of Ottawa Santiago Figueira, Universidad de Buenos Aires Marcelo Fiore, University of Cambridge Marco Gaboardi, Boston University Silvia Ghilezan, University of Novi Sad Ichiro Hasuo, National Institute of Informatics Delia Kesner, Universit?? de Paris Robbert Krebbers, Radboud University Nijmegen Temur Kutsia, Johannes Kepler University Linz Barbara K??nig, University of Duisburg-Essen Marina Lenisa, University of Udine Naoki Nishida, Nagoya University Luke Ong, University of Oxford Pawe?? Parys, University of Warsaw Jakob Rehof, TU Dortmund University Camilo Rocha, Pontificia Univ. Javeriana Cali Alexandra Silva, University College London Alwen Tiu, Australian National University Sarah Winkler, University of Verona Hongseok Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro D??az-Caro, Quilmes Univ. & ICC/CONICET ORGANIZING COMMITTEE -------------------- Mauricio Ayala-Rinc??n (Workshops co-chair), Universidade de Bras??lia Santiago Figueira, Universidad de Buenos Aires & ICC Malena Ivnisky (Virtualization co-chair), Universidad de Buenos Aires & ICC Mauro Jaskelioff, Universidad Nacional de Rosario & CIFASIS Carlos L??pez Pombo (Workshops co-chair), Universidad de Buenos Aires & ICC Ricardo Rodr??guez (Virtualization co-chair), Universidad de Buenos Aires & ICC Rafael Romero (Virtualization co-chair), Universidad de Buenos Aires & ICC Nora Szasz, Universidad ORT Uruguay Beta Ziliani, Universidad Nacional de C??rdoba FSCD STEERING COMMITTEE ----------------------- Zena M. Ariola, University of Oregon Mauricio Ayala-Rinc??n, University of Brasilia Carsten Fuhs (Publicity Chair), Birkbeck, University of London Herman Geuvers, Radboud University Silvia Ghilezan, University of Novi Sad Stefano Guerrini, University of Paris 13 Delia Kesner (SC Chair), University of Paris Diderot H??l??ne Kirchner, Inria Cynthia Kop, Radboud University Damiano Mazza, University of Paris 13 Luke Ong, Oxford University Jakob Rehof, TU Dortmund Jamie Vicary (SC Workshop Chair), Oxford University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]