Automated Reasoning | | International Conference on Logical Aspects of Computational Linguistics, Springer |
Applied Computing | | Latin-American Symposium on Dependable Computing, Springer |
Intelligent Agents | | Languages, Springer |
Intelligent Agents | | Learning and Adaption in Multi-Agent Systems, Springer |
Education | | International Latin American Networking Conference, ACM |
Logical Reasoning | | |
Education | | Latin American Network Operations and Management Symposium, IEEE |
Formal Methods | | International Workshop on Larch, |
Artificial Intelligence | | Language and Automata Theory and Applications, Springer |
Information Technology | | Latin American Symposium on Theoretical Informatics, Springer |
Cryptology | | International Conference on Cryptology and Information Security in Latin America, |
Internet Technology | | Latin American Web Congress, IEEE |
Computational Biology | | |
Algorithms | | International Workshop on Logic and Computational Complexity, |
Computer Networks | | Annual IEEE Conference on Local Computer Networks, IEEE |
System Software | | International Workshop on Languages and Compilers for Parallel Computing, Springer |
System Software | | International Workshop on Languages, Springer |
System Software | | Languages, Springer |
Programming Languages | | |
Languages | | Language Engineering Conference, IEEE |
Education | | |
Artificial Intelligence | | Logical Foundations of Computer Science, Springer |
Automated Reasoning | | Symposium on Logic in Computer Science, IEEE |
Information Technology | | Ontologie und Axiomatik der Wissensbasis von LILOG, |
Optimization | | Learning and Intelligence Optimization, Springer |
Software Engineering | | Advances in Software Engineering, Springer |
Operating System | | |
Artificial Intelligence | | LITP Spring School on Theoretical Computer Science, |
Knowledge Management | | Large-Scale Knowledge Resources, |
Automated Reasoning | | Learning Language in Logic Workshop, Springer |
Programming Languages | | |
Natural Language Processing | | Text Understanding in LILOG, |
Information Technology | | Location- and Context-Awareness, Springer |
Internet Technology | | International Workshop on Location and the Web, ACM |
Automated Reasoning | | Logic Program Synthesis and Transformation, Springer |
Artificial Intelligence | | Logic, Springer |
Automated Reasoning | | Logic for Programming, Springer |
Logical Reasoning | | |
Automated Reasoning | | Logic Programming and Knowledge Representation, Springer |
Automated Reasoning | | Logic Programming and Nonmonotonic Reasoning, Springer |
Education | | |
Distributed And Parallel Computing | | Life Science GRID, Springer |
Modeling And Simulation | | Life System Modeling, Springer |
Software Engineering | | Learning Software Organizations, Springer |
Applied Computing | | Large-Scale Scientific Computing, Springer |
Natural Language Processing | | Language and Technology Conference, Springer |
Software Engineering | | |