Authors: Balbiani, Philippe, Gao, Han, Gencer, Cigdem, Olivetti, Nicola
Contributors: Logique, Interaction, Langue et Calcul (IRIT-LILaC), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)
Superior Title:
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
https://amu.hal.science/hal-04457356
32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1--21, ⟨10.4230/LIPIcs.CSL.2024.13⟩
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.13
Subject Terms: Axiomatization, Completeness, Intuitionistic Modal Logic, Sequent Calculus, Modal and temporal logics, Proof theory, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-04457356; https://amu.hal.science/hal-04457356; https://amu.hal.science/hal-04457356/document; https://amu.hal.science/hal-04457356/file/CSL_24_final_versionPROVVISORIA.pdf
Authors: de Frutos-Fernández, María Inés, Nuccio Mortarino Majno Di Capriglio, Filippo Alberto Edoardo
Contributors: Universidad Autónoma de Madrid (UAM), Combinatoire, théorie des nombres (CTN), Institut Camille Jordan (ICJ), École Centrale de Lyon (ECL), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS)-École Centrale de Lyon (ECL), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM)-Centre National de la Recherche Scientifique (CNRS), CA1/RSUE/2021-00623 of the Spanish Ministry ofUniversities, the Recovery, Transformation and Resilience Plan, and Universidad Autónoma de Madrid., Appel à Projets Recherche UJM 2023 of Université Jean Monnet Saint-Étienne
Superior Title:
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24)
https://ujm.hal.science/ujm-04222610
13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’24), Jan 2024, London, United Kingdom. pp.190-204, ⟨10.1145/3636501.3636942⟩
https://popl24.sigplan.org/home/CPP-2024
Subject Terms: Logic and verification, Proof theory formal mathematics, Lean, mathlib, algebraic number theory, local fields, discrete valuation rings, Theory of computation, CCS Concepts: Theory of computation → Logic and verification, Proof theory formal mathematics Lean mathlib algebraic number theory local fields discrete valuation rings, CCS Concepts, Theory of computation → Logic and verification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Subject Geographic: London, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2310.01998; ujm-04222610; https://ujm.hal.science/ujm-04222610; https://ujm.hal.science/ujm-04222610v3/document; https://ujm.hal.science/ujm-04222610v3/file/deFrutosFerandez%26Nuccio-A%20Formalization%20of%20Complete%20DVR%20and%20Local%20Fields.pdf; ARXIV: 2310.01998
Authors: Faggian, Claudia, Daniele, Pautasso, Gabriele, Vanoni
Contributors: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Dipartimento di Informatica Torino, Università degli studi di Torino = University of Turin (UNITO)
Superior Title: Proc. ACM Program. Lang ; https://hal.science/hal-04337161 ; Proc. ACM Program. Lang, In press, POPL 2024, ⟨10.1145/363292⟩
Subject Terms: CCS Concepts: Theory of computation → Lambda calculus Probabilistic computation Linear logic Type theory Denotational semantics intersection types, bounds, Bayesian networks, probabilistic programming, programming languages, geometry of interaction, CCS Concepts, Theory of computation → Lambda calculus, Probabilistic computation, Linear logic, Type theory, Denotational semantics, intersection types, [INFO]Computer Science [cs]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.04651; hal-04337161; https://hal.science/hal-04337161; https://hal.science/hal-04337161/document; https://hal.science/hal-04337161/file/2311.04651.pdf; ARXIV: 2311.04651
Contributors: Security & PrIvaCY (SPICY), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Programming securely with cryptography (PROSECCO), Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-22-PECY-0006,SVP,Verification of Security Protocols(2022)
Superior Title: CSF 2024 - 37th IEEE Computer Security Foundations Symposium ; https://hal.science/hal-04577828 ; CSF 2024 - 37th IEEE Computer Security Foundations Symposium, Jul 2024, Enschede, Netherlands
Subject Terms: Logic, Concrete Security, Crypto Protocols, [INFO]Computer Science [cs]
Subject Geographic: Enschede, Netherlands
Relation: hal-04577828; https://hal.science/hal-04577828; https://hal.science/hal-04577828/document; https://hal.science/hal-04577828/file/main.pdf
Availability:
https://hal.science/hal-04577828
https://hal.science/hal-04577828/document
https://hal.science/hal-04577828/file/main.pdf
Contributors: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay
Superior Title: Lecture Notes in Computer Science, International Conference on Foundations of Software Science and Computation Structures ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures ; https://hal.science/hal-04275229 ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg City, Luxembourg. pp.3-23, ⟨10.1007/978-3-031-57231-9_1⟩
Subject Terms: Rewrite rules, Equality, Logical Framework, Dependent types, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Luxembourg City, Luxembourg
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2402.09024; hal-04275229; https://hal.science/hal-04275229; https://hal.science/hal-04275229v2/document; https://hal.science/hal-04275229v2/file/elimrule.pdf; ARXIV: 2402.09024
Authors: Fijalkow, Nathanaël, Bertrand, Nathalie, Bouyer, Patricia, Brenguier, Romain, Carayol, Arnaud, Fearnley, John, Gimbert, Hugo, Horn, Florian, Ibsen-Jensen, Rasmus, Markey, Nicolas, Monmege, Benjamin, Novotny, Petr, Randour, Mickael, Sankur, Ocan, Schmitz, Sylvain, Serre, Olivier, Skomra, Mateusz
Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), University of Oxford, Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, University of Liverpool, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Modélisation et Vérification (MOVE), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), IBM, Université de Mons / University of Mons (UMONS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Equipe Polynomial OPtimization (LAAS-POP), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)
Superior Title: https://hal.science/hal-04273394 ; pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩.
Subject Terms: Computer Science and Game Theory (cs.GT), Formal Languages and Automata Theory (cs.FL), Logic in Computer Science (cs.LO), [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2305.10546; hal-04273394; https://hal.science/hal-04273394; https://hal.science/hal-04273394/document; https://hal.science/hal-04273394/file/2305.10546.pdf; ARXIV: 2305.10546
Authors: Timany, Amin, Guéneau, Armaël, Birkedal, Lars
Contributors: Aarhus University Aarhus, Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), SIGPLAN
Superior Title: Proceedings of the ACM ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-04271457 ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom ; popl24.sigplan.org
Subject Terms: well-bracketedness, stack discipline, program logics, program verification, logical relations, semantic typing, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Londres, United Kingdom
Relation: hal-04271457; https://hal.science/hal-04271457; https://hal.science/hal-04271457/document; https://hal.science/hal-04271457/file/timany-gueneau-birkedal-wbcf24.pdf
Availability:
https://hal.science/hal-04271457
https://hal.science/hal-04271457/document
https://hal.science/hal-04271457/file/timany-gueneau-birkedal-wbcf24.pdf
Contributors: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Centre National de la Recherche Scientifique (CNRS), SIGPLAN
Superior Title: Proceedings of the ACM ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.science/hal-04238691 ; POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom ; popl24.sigplan.org
Subject Terms: Program verification, Separation logic, Time complexity, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Londres, United Kingdom
Relation: hal-04238691; https://hal.science/hal-04238691; https://hal.science/hal-04238691v2/document; https://hal.science/hal-04238691v2/file/main.pdf
Availability:
https://hal.science/hal-04238691
https://hal.science/hal-04238691v2/document
https://hal.science/hal-04238691v2/file/main.pdf
Authors: Clément, Alexandre, Delorme, Noé, Perdrix, Simon, Vilmart, Renaud
Contributors: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Quantum Computation Structures (QuaCS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), European projects NEASQC and HPCQS, ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022), ANR-17-CE25-0009,SoftQPRO,Solutions logicielles pour l'optimisation des programmes et ressources quantiques(2017), ANR-22-PNCQ-0002,HQI – R&D et Support,Initiative Nationale Hybride HPC Quantique – R&D et Support des communautés(2022), European Project: 101018180 ,HPCQS(2021)
Superior Title: International Conference on Computer Science Logic CSL 2024 ; https://hal.science/hal-04016498 ; International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩
Subject Terms: Completeness, Graphical Language, Quantum Circuits, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [PHYS.QPHY]Physics [physics]/Quantum Physics [quant-ph]
Relation: info:eu-repo/grantAgreement//101018180 /EU/High Performance Computer and Quantum Simulator hybrid/HPCQS; hal-04016498; https://hal.science/hal-04016498; https://hal.science/hal-04016498v3/document; https://hal.science/hal-04016498v3/file/main.pdf
Contributors: ECAM Rennes - Louis de Broglie (ECAM), Département Systèmes Réseaux, Cybersécurité et Droit du numérique (IMT Atlantique - SRCD), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut d'Électronique et des Technologies du numéRique (IETR), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)
Superior Title: ASPAI 2024: 6th International Conference on Advances in Signal Processing and Artificial Intelligence ; https://imt-atlantique.hal.science/hal-04571994 ; ASPAI 2024: 6th International Conference on Advances in Signal Processing and Artificial Intelligence, Apr 2024, Funchal (Madeira), Portugal
Subject Terms: Cooperative mobile robots, recharging battery management, fuzzy logic, multi-agent simulation, airport 4.0, [INFO]Computer Science [cs]
Subject Geographic: Portugal
Time: Funchal (Madeira), Portugal
Relation: hal-04571994; https://imt-atlantique.hal.science/hal-04571994; https://imt-atlantique.hal.science/hal-04571994/document; https://imt-atlantique.hal.science/hal-04571994/file/ASPAI_2024_final_version.pdf
Availability:
https://imt-atlantique.hal.science/hal-04571994
https://imt-atlantique.hal.science/hal-04571994/document
https://imt-atlantique.hal.science/hal-04571994/file/ASPAI_2024_final_version.pdf
Contributors: Laboratoire Vision et Apprentissage pour l’analyse de scènes (LVA), Département Intelligence Ambiante et Systèmes Interactifs (DIASI (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Systèmes Electroniques (SYEL), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: Online proceedings of the 2024 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV), Waikoloa, HI, USA, 2024 ; WACV 2024 - IEEE/CVF Winter Conference on Applications of Computer Vision ; https://cea.hal.science/cea-04557699 ; WACV 2024 - IEEE/CVF Winter Conference on Applications of Computer Vision, Jan 2024, Waikoloa, HI, United States. pp.3625-3634, ⟨10.1109/WACV57701.2024.00360⟩ ; https://ieeexplore.ieee.org/document/10483762
Subject Terms: 3D computer vision, Image recognition and understanding, Machine learning architectures, formulations and algorithms, Training, Uncertainty, Measurement uncertainty, Neural networks, Estimation, Predictive models, Probabilistic logic, Algorithms, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG]
Subject Geographic: Waikoloa, HI, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2311.06137; cea-04557699; https://cea.hal.science/cea-04557699; https://cea.hal.science/cea-04557699/document; https://cea.hal.science/cea-04557699/file/MonoProb_NoteIEEE.pdf; ARXIV: https://arxiv.org/abs/2311.06137
Authors: Mesnard, Frédéric, Payet, Etienne
Contributors: Laboratoire d'Informatique et de Mathématiques (LIM), Université de La Réunion (UR), Akihisa Yamada
Superior Title: Workshop on Termination (WST 2023) ; https://hal.univ-reunion.fr/hal-04552550 ; Workshop on Termination (WST 2023), Akihisa Yamada, Aug 2024, Obergurgl, Austria
Subject Terms: Logic Programming, [INFO]Computer Science [cs]
Relation: hal-04552550; https://hal.univ-reunion.fr/hal-04552550; https://hal.univ-reunion.fr/hal-04552550/document; https://hal.univ-reunion.fr/hal-04552550/file/notice_cTI_NTI.pdf
Availability:
https://hal.univ-reunion.fr/hal-04552550
https://hal.univ-reunion.fr/hal-04552550/document
https://hal.univ-reunion.fr/hal-04552550/file/notice_cTI_NTI.pdf
Authors: Pujet, Loïc, Tabareau, Nicolas
Contributors: Department of Mathematics Stockholm University, Swedish Academy, Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)
Superior Title: Lecture Notes in Computer Science ; ESOP 2024 - 33rd European Symposium on Programming ; https://hal.science/hal-04535982 ; ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.275-301, ⟨10.1007/978-3-031-57262-3_12⟩
Subject Terms: Type Theory, Dependent Types, Inductive Definitions, Normalization Proofs, Rewriting Theory, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Luxembourg
Relation: hal-04535982; https://hal.science/hal-04535982; https://hal.science/hal-04535982/document; https://hal.science/hal-04535982/file/main.pdf
Authors: Crocco, Gabriella, van Atten, Mark, Cantu, Paola, Rollinger, Robin
Contributors: Institut d'Etudes Avancées AMU (IMéRA), Aix Marseille Université (AMU), Centre Gilles-Gaston Granger (CGGG), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Pays germaniques , histoire - culture - philosophie (UMR8547) (PG,HCP), Centre National de la Recherche Scientifique (CNRS)-Département de Philosophie - ENS Paris, École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-École normale supérieure - Paris (ENS-PSL), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL), Centre National de la Recherche Scientifique (CNRS)
Superior Title: https://shs.hal.science/halshs-04533954 ; 2024.
Subject Terms: Kurt Gödel, Logic, Mathemtics, Philosophy, Philosophy of science, Theology, [SHS]Humanities and Social Sciences, [MATH]Mathematics [math], [PHYS]Physics [physics]
Relation: halshs-04533954; https://shs.hal.science/halshs-04533954; https://shs.hal.science/halshs-04533954/document; https://shs.hal.science/halshs-04533954/file/MPXIV%283%29.pdf
Availability:
https://shs.hal.science/halshs-04533954
https://shs.hal.science/halshs-04533954/document
https://shs.hal.science/halshs-04533954/file/MPXIV%283%29.pdf
Authors: Cohen, Cyril, Crance, Enzo, Mahboubi, Assia
Contributors: Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Mitsubishi Electric R&D Centre Europe France (MERCE-France), Mitsubishi Electric France, Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Nantes Université (Nantes Univ), Stéphanie Weirich, European Project: 101001995,FRESCO(2021)
Superior Title: Lecture Notes in Computer Science ; ESOP 2024 - 33rd European Symposium on Programming ; https://hal.science/hal-04177913 ; ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg, Luxembourg. pp.239-268
Subject Terms: Parametricity, Representation independence, Univalence, Proof assistants, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: Luxembourg
Relation: info:eu-repo/grantAgreement//101001995/EU/Fast and Reliable Symbolic Computation/FRESCO; hal-04177913; https://hal.science/hal-04177913; https://hal.science/hal-04177913v5/document; https://hal.science/hal-04177913v5/file/main.pdf
Availability:
https://hal.science/hal-04177913
https://hal.science/hal-04177913v5/document
https://hal.science/hal-04177913v5/file/main.pdf
Authors: Thuillier, Kerian, Siegel, Anne, Paulevé, Loïc
Contributors: Centre National de la Recherche Scientifique (CNRS), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), ANR-20-CE45-0001,BNeDiction,Ensembles de Réseaux Booléens Prédictifs(2020)
Superior Title: AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence ; https://hal.science/hal-04420454 ; AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada
Subject Terms: Constraints satisfication, CEGAR, Answer Set Programming, Linear programming, Hybrid logic, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Vancouver
Time: Vancouver, Canada
Relation: hal-04420454; https://hal.science/hal-04420454; https://hal.science/hal-04420454/document; https://hal.science/hal-04420454/file/proceeding-7882.pdf
Availability:
https://hal.science/hal-04420454
https://hal.science/hal-04420454/document
https://hal.science/hal-04420454/file/proceeding-7882.pdf
Contributors: Delft University of Technology (TU Delft), University of Birmingham Birmingham, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Centre National de la Recherche Scientifique (CNRS), Radboud University Nijmegen, NWO project “The Power of Equality” OCENW.M20.380, which is financed by the Dutch Research Council (NWO)
Superior Title: Proceedings of the Certified Programs and Proofs (CPP) 2024 ; Certified Programs and Proofs (CPP 2024) ; https://hal.science/hal-04375376 ; Certified Programs and Proofs (CPP 2024), Jan 2024, London, United Kingdom. à paraître, ⟨10.1145/3636501.3636956⟩ ; https://popl24.sigplan.org/details/CPP-2024-papers/17/Displayed-Monoidal-Categories-for-the-Semantics-of-Linear-Logic
Subject Terms: linear logic, categorical semantics, monoidal categories, Coq, UniMath, [INFO]Computer Science [cs]
Subject Geographic: London, United Kingdom
Relation: hal-04375376; https://hal.science/hal-04375376; https://hal.science/hal-04375376/document; https://hal.science/hal-04375376/file/AhrensMatthesVanDerWeideWullaertCPP24.pdf
Authors: Amat, Nicolas, Dal Zilio, Silvano, Le Botlan, Didier
Contributors: Équipe Verification de Systèmes Temporisés Critiques (LAAS-VERTICS), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-11-LABX-0040,CIMI,Centre International de Mathématiques et d'Informatique (de Toulouse)(2011)
Superior Title: Verification, Model Checking, and Abstract Interpretation. VMCAI 2024 ; https://laas.hal.science/hal-04375443 ; Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩
Subject Terms: Petri nets, Quantifier elimination, Reachability problems, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: London, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2401.03711; hal-04375443; https://laas.hal.science/hal-04375443; https://laas.hal.science/hal-04375443/document; https://laas.hal.science/hal-04375443/file/paper.pdf; ARXIV: 2401.03711
Authors: Monniaux, David
Contributors: VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Brigitte Pientka, Sandrine Blazy, Amin Timany, Dmitriy Traytel, ANR-22-PECY-0004,ARSENE,ARchitectures SEcurisées pour le Numérique Embarqué(2022)
Superior Title: Certified Programs and Proofs 2024 ; https://hal.science/hal-04336347 ; Certified Programs and Proofs 2024, Brigitte Pientka; Sandrine Blazy; Amin Timany; Dmitriy Traytel, Jan 2024, London, United Kingdom. ⟨10.1145/3636501.3636952⟩ ; https://popl24.sigplan.org/home/CPP-2024
Subject Terms: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Subject Geographic: London, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2312.08117; hal-04336347; https://hal.science/hal-04336347; https://hal.science/hal-04336347/document; https://hal.science/hal-04336347/file/memory_simulation_article.pdf; ARXIV: 2312.08117
Authors: Mahboubi, Assia, Piquerez, Matthieu
Contributors: Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Gallinette : vers une nouvelle génération d'assistant à la preuve (GALLINETTE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des Sciences du Numérique de Nantes (LS2N), Nantes Université (Nantes Univ)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), European Project: 101001995,FRESCO(2021)
Superior Title:
32nd EACSL Annual Conference on Computer Science Logic 2024 (CSL’24)
CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic
https://hal.science/hal-04266479
CSL 2024 - 32nd EACSL Annual Conference on Computer Science Logic, Feb 2024, Naples, Italy. pp.1-19
Subject Terms: Diagram chasing, Formal proofs, Abelian categories, Decidability, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2311.01790; info:eu-repo/grantAgreement//101001995/EU/Fast and Reliable Symbolic Computation/FRESCO; hal-04266479; https://hal.science/hal-04266479; https://hal.science/hal-04266479v2/document; https://hal.science/hal-04266479v2/file/main.pdf; ARXIV: 2311.01790
Availability:
https://hal.science/hal-04266479
https://hal.science/hal-04266479v2/document
https://hal.science/hal-04266479v2/file/main.pdf