Latin American Symposium on Computational Theory


SLTC is an event that focuses on advances in the disciplines of Algorithmic theory, Computability and Complexity, Automata and Formal Languages, Principles and Semantics of Programming Languages, Concurrency Models, Security and Mobility, Logic and its Application to Computing, Formal Requirements Models, Software Components and Architectures, Fundamentals and Formal Techniques of Software Analysis, Type Theory and Category Theory in Computing.

Topics of Interest

  • Algorithmic
  • Computability and complexity
  • Theory of automatons and formal languages
  • Principles and semantics of programming languages
  • Theory and models of concurrency, security and mobility
  • Logic 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

Job Submission

Submissions must be made through EasyChair


  • Janeth Chicaiza (UTPL), Ecuador
  • Marcelo Frias (ITBA), Argentina

Program Committee

#They are proposed by the Chairs

First and Last Name (First Name University)