LSFA 2018 - Call for Participation
13th Workshop on Logical and Semantic Frameworks, with Applications
26-28 September 2018
Fortaleza, Brazil
www.lia.ufc.br/~lsfa2018
=============================================================================
*** Early Registration Deadline: 31 August 2018 ***
*** List of accepted papers and registration informaton is available at
www.lia.ufc.br/~lsfa2018 ***
=============================================================================
The LSFA Community invites you to participate in the 13th Workshop on Logic
and Semantic Frameworks, with Application, LSFA 2018.
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 programming languages, supporting tool
development and reasoning.
Invited Speakers
+ Amy Felty, University of Ottawa
+ Andreas Herzig, CNRS, IRIT, Université de Toulouse
+ Yiannis Moschovakis, University of California, Los Angeles & University of
Athens
+ Alessandra Palmigiano, Delft University of Technology
Venue
Fortaleza is the state capital of Ceará, and 5th most preferred touristic
destination in Brazil. The conference will be hosted by the Department of
Computer Science of the Federal University of Ceará. Find more info on the
event's webpage: www.lia.ufc.br/~lsfa2018
Contact
lsfa2018 at lia [d] ufc [d] br
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/B7270CB8-8B66-4458-8729-28A2E0C35D5C%40gmail.com.
