Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26 - 28 September 2018, 13th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2018), Fortaleza, Brazil

Date: 26 - 28 September 2018
Location: Fortaleza, Brazil
Deadline: Sunday 10 June 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: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).

Contributions should be written in English and submitted in the form of full papers with a maximum of 13 pages (including references) in the new ENTCS format. Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds, original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty. Papers belonging to this second category are expected to be short, that is, of a maximum of 6 pages including references, unless they also contain some novel results. Contributions must be unpublished and not submitted simultaneously for publication elsewhere.

For more information, see http://lia.ufc.br/~lsfa2018/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.