São Paulo, BR
October 1-5, 2018
Mackenzie - Campus Higienópolis
SLTC
Latin American Symposium on Theory of Computation
SLTC is an event that brings together the Latin American community of researchers in Theory of Computation. The event is part of XLIV CLEI. This symposium focuses on the advances in the disciplines of Theory of Algorithms, Computability and Complexity, Automata and Formal Languages, Principles and Semantics of Programming Languages, Concurrency Models, Security and Mobility, Logic and its Applications to Computing, Formal Models for Requirements, Components and Architectures of Software, Foundations and Formal Techniques for Software Analysis, Type Theory, and Theory of Categories for Computer Science.
Topics of Interest
The suggested but not excluding topics are the following:
- Algorithmics
- Computability and Complexity
- Theory of Automata and Formal Languages
- Principles and Semantics of Programming Languages
- Theory and Models of Concurrence, Security and Mobility
- Logics and its Application to Computing
- Formal Models of Requirements, Components and Software Architectures
- Formal Models of Adaptive Techniques
- Fundamentals and Formal Techniques of Software Analysis
- Type Theory and Category Theory in Computing
Paper Submission
Before sending your work consult the CLEI 2018 CFP: /en/clei-2018/cfp.html
Articles submission should be done through the JEMS system: https://submissoes.sbc.org.br/home.cgi?c=3035
JEMs Publication Manual: https://submissoes.sbc.org.br/manual/index.php?page=Authors_of_papers
Chairs
Marcelo Frias (ITBA, Argentina)
mfrias@itba.edu.ar
Ricardo L. A. Rocha (USP, Brasil)
rlarocha@usp.br
Program Committee
Alvaro Tasistro (Universidad ORT, Uruguay)
Andrés Moreira (Universidad Tecnica Federico Santa Maria, Chile)
Carlos López Pombo (Universidad de Buenos Aires, Argentina)
Christian Schaerer (Universidad Nacional de Asunción, Paraguay)
Claudia Pons (Universidad Nacional de La Plata y Universidad Abierta Interamericana, Argentina)
Cristian José López Del Alamo (Universidad La Salle, Perú)
Edward Hermann Haeusler (Pontificia Universidade Católica do Rio de Janeiro, Brazil)
Elisângela Rodrigues (Universidade Federal de Mato Grosso do Sul)
Fabrício Rodrigues (UFMS)
Flavia Bonomo (Universidad de Buenos Aires, Argentina)
João José Neto (Universidade de Sao Paulo, Brazil)
Marcus Midena Ramos (UNIVASF)
Mariano Moscato (National Institute of Aerospace, NASA, USA)
Mauricio Ayala-Rincon (Universidade de Brasilia, Brazil)
Reginaldo da SIlva Filho (UFMS)
Ítalo Santiago Vega (Pontificia Universidade Católica de Sao Paulo, Brazil)
