Logic List Mailing Archive

DLT 2021: Developments in Language Theory, Porto (Portugal) and Virtual

16-20 Aug 2021

DLT 2021 Call for Participation

25th International Conference on Developments in Language Theory
August 16-20, 2021, Porto, Portugal

https://DLT2021.dcc.fc.up.pt/

The DLT conference series provides a forum for presenting current 
developments in formal languages and automata. DLT 2021 will be held at 
Faculty of Sciences of University of Porto in an hybrid format with both 
in person and online participation.

We are glad to announce that the conference will have 5 invited talks and 
more than 40 contributed talks of accepted papers by DLT 2021 and DLT 
2020.

The ceremony of Salomaa Prize 2020 (https://math.utu.fi/salomaaprize/) 
will also take place during DLT 2021.

INVITED TALKS

?	?Morphic sequences versus automatic sequences?, Jean-Paul Allouche, CNRS, IMJ-PRG, UPMC, France
?	?Parsimonious Computational Completeness?, Henning Fernau, Universität Trier, Germany
?	?Computing Edit Distance?, Michal Koucký , Charles University,  Czech Republic
?	?Guarded Kleene Algebra with Tests?, Alexandra Silva,  University College London, UK
?	?Pointlike sets and separation: a personal perspective?, Benjamim  Steinberg, City College of New York, USA

CONTRIBUTED PAPERS

?	Accepted papers DLT 2021

https://dlt2021.dcc.fc.up.pt/AcceptedPapers/

?	Accepted papers DLT 2020 (not all of them will be presented)

https://www.usf.edu/arts-sciences/conferences/dlt2020/accepted_papers.aspx

REGISTRATION

https://dlt2021.dcc.fc.up.pt/Registration/

In-person Regular registration and Student registration until 10 July

Online registration has a reduced fee but is not free.

ORGANISING COMMITTEE

Sabine Broda (U. Porto)
Bruno Loff (U. Porto)
António Machiavelo (U. Porto)
Inês Maia (Pé de Cabra Lda)
Nelma Moreira (U. Porto)
Rogério Reis (U. Porto)
Shinnosuke Seki (U. Electro-Comm, Japan)

FURTHER INFORMATION AND CONTACTS

Web: https://DLT2021.dcc.fc.up.pt
Email: dlt2021@dcc.fc.up.pt


Best regards,
Nelma Moreira,
Rogério Reis
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam