Carlos Olarte
I'm associate professor at LIPN, Institut Galilée, UMR CNRS 7030, Université Sorbonne Paris Nord.
My research interests are concurrent systems and formal methods.
I'm also member of the AVISPA research group.
email: carlos.olarte at gmail ... com
Projects
NATO Science for Peace and Security Programme project SymSafe (No. G6133) (2023)
Promueva: Investigación en Modelos Computacionales de Redes Sociales (2022).
Aesir: Timed strAtegies for rEwrite-based Symbolic analysIs of Real-time systems (2022).
ESPRiTS: Extending Synthesis of Parameters to RewrIting Timed (2022).
SÉMANTIQUE : Spécification et vÉrification des systèMes multimédiAs iNteracTifs : une approchebasée sur la logIQue de réecritUrE (2022)
CNPq Bolsa de Produtividade (2019-2022): LOGOCOSMICS: LOgica, joGOs e Cálculos de prOcessos para Sistemas ModaIs ConcorrenteS
CNPq Projeto Universal (2019-2022): Sistemas concorrentes: semântica, provas e modelos declarativos.
EPIC: EPistemic Interactive Concurrency. STIC-AmSud Project. In collaboration with INRIA and Universidad Javeriana Cali. 2017.
MOSAIC - Modalities in Substructural Logics: Theory, Methods and Applications. Sklodowska-Curie Action: RISE Grant Agreement no 101007627.
Tools
PTA2Maude: Rewriting Logic Semantics for Parametric Timed Automata (FTSCS'22 paper)
PITPN2Maude: Rewriting Logic Semantics for parametric time Petri nets with inhibitor arcs (Petri Nets 2023 paper).
RESPEG: Rewriting Semantics for PEGs (SLE'20 paper).
L-Framework: structural proof theory in Maude (WRLA'18 and JLAMP'23 paper).
A Focused Linear Logical Framework and its Application to Metatheory of Object Logics (Submitted to MSCS).
Benchmarks for intuitionistic linear logic and provers (Linearity & TLLA'18 paper).
Formalizing (First Order) Linear Logic (cut-elimination + focusing) in Coq (LSFA'17 paper).
Prover for Simply Dependent Multimodal Linear Systems (LPAR-21 paper).
SiLVer: Symbolic links verifier (FI'20 paper). A web interface is available here.
Prover for Full Lambek Calculus with Weakening and Bounded Contraction (LSFA'17 paper).
Slicer for CCP (FI'20 paper).
ESTRO: From Multiparty Session Types to Event-B (SAC'16 paper)
LolliP: Linear CCP interpreter
Alcove: Access Permissions Linear COnstraints VErifier (TPLP'18 paper).
PC Committees
I'm PC chair of PPDP 2025.
I'm one of the local organizer of Petri Nets 2025.
I'm PC member of LSFA'25.
I'm member of the publicity committee of SIGLOG.
Editor of the area Specification, Analysis and Verification of Systems, Security of the ALP Newsletter.
Past Conferences
Invited speakers of SynCoP 2024.
PC member of PPDP'24.
17th International Symposium on Functional and Logic Programming (FLOPS'24)
15th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'23)
9th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'23)
Co-chair of Logical Frameworks and Meta Languages: Theory and Practice (LFMTP'23).
PC member of the 25th International Symposium on Principles and Practice of Declarative Programming (PPDP'23)
PC member of the 29th Workshop on Logic, Language, Information and Computation (WoLLIC 2023)
PC member of the 33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'23).
7th International Conference on Formal Structures for Computation and Deduction (FSCD'22)
8th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'22)
International Conference on Software Language Engineering SLE'2021.
International Conference on Logic Programming ICLP'2021.
Co-chair of WBL'21 (Workshop Brasileiro de Lógica).
16th International Workshop on Logical and Semantic Frameworks, with Applications. LSFA'21.
15th International Workshop on Logical and Semantic Frameworks, with Applications. LSFA'20.
Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020.
35th International Conference on Logic Programming ICLP'19.
27th International Conference on Automated Deduction CADE'27.
29th International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR'19.
Sixth Workshop on Proof eXchange for Theorem Proving PxTP 2019.
Co-chair of LSFA'18.
Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP'18.
5th Workshop on Horn Clauses for Verification and Synthesis - HCVS'18.