FSCD 2021, LSFA 2021, Call for (Online) Participation

[Mauricio Ayala-Rincon]

Caros,

inscrições já abertas (for free) para FSCD e LSFA 2021.

Mauricio.

---------- Forwarded message ---------
From: Alejandro Díaz-Caro <alej...@diaz-caro.info>
Date: Mon, 14 Jun 2021 at 09:46
Subject: Fwd: FSCD 2021: Call for (Online) Participation

                       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
  fscd...@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

--

http://staff.dc.uba.ar/adiazcaro

--
You received this message because you are subscribed to the Google Groups "FSCD 2021 - OC" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fscd2021-oc...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fscd2021-oc/CAGvJX%2BxBnMsQHrZiVLuuX%3Db0uYvwo8yKiwDbMXCE%3DCMZqM%2BsxA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.