SLTC
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
Chairs
- Janeth Chicaiza (UTPL), Ecuador
jachicaiza@utpl.edu.ec - Marcelo Frias (ITBA), Argentina mfrias@itba.edu.ar
Program Committee
#They are proposed by the Chairs
First and Last Name (First Name University)