[TYPES/announce] [Call for Participation] LSFA 2023 (early registration May 31)

[D. Ventura]

*18th Logical and Semantic Frameworks with Applications - LSFA 2023*
                        *1-2 July 2023*

           https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2023__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaOB8qadCA$ 

             Affiliated to FSCD 2023 <https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaN0R30CcA$ >,
Rome, Italy

                     *Call For Participation *
*                  (online attendance available)*

===================================================================

Logical and semantic frameworks are formal languages used to
represent logics, languages and systems. These frameworks provide
foundations for the formal specification of systems and computational
languages, supporting tool development and reasoning. The LSFA
series' objective is to put together theoreticians and practitioners
to promote new techniques and results, from the theoretical side, and
feedback on the implementation and the use of such techniques and
results, from the practical side.

See lsfa-workshop.github.io/ for more information.

LSFA *topics of interest* include, but are not limited to:

* Automated deduction
* Applications of logical and semantic frameworks
* Computational and logical properties of semantic frameworks
* Formal semantics of languages and systems
* Implementation of logical and semantic frameworks
* Lambda and combinatory calculi
* Logical aspects of computational complexity
* Logical frameworks
* Process calculi
* Proof theory
* Semantic frameworks
* Specification languages and meta-languages
* Type theory


*Invited Speakers*
  * Cynthia Kop <https://urldefense.com/v3/__https://www.cs.ru.nl/*cynthiakop/index_en.html__;fg!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaM2C0OG9g$ > (Radboud
University Nijmegen, The Netherlands)
    [shared session with LFMTP'23 <https://urldefense.com/v3/__https://lfmtp.org/workshops/2023/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaOGTViB2g$ >]
  * Brigitte Pientka <https://urldefense.com/v3/__https://www.cs.mcgill.ca/*bpientka/__;fg!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaNalkDaBA$ > (McGill
University, Canada)
  * Pablo Barenbaum <https://urldefense.com/v3/__https://foones.github.io/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaNA4_0Aag$ > (UBA & UNQ, Argentina)

 *note*: shared session with LFMTP'23 <https://urldefense.com/v3/__https://lfmtp.org/workshops/2023/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaOGTViB2g$ > on
July 2.

*Accepted Papers*: see
https://urldefense.com/v3/__https://sites.google.com/ufg.br/lsfa2023/accepted-papers__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaNXkoOQ6Q$ 

*Registration* (*May 31 - **early registration deadline*)

  see https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/registration1/__;!!IBzWLUs!XVVgiyENbdBIr_nhvz6ijUh3yXVWppGmzEuHHrDXaiay_N92DTWLXQVp_aiEs4Rc0fGC_ex9hSCPujTbWLRIlaPT1_GYEg$ 
      (*online registration fee available*)

=====================================================================
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230530/4ebed997/attachment.htm>