Conférences - Théorie de l'information, fondations de l'informatique - France

Sélecionner un pays
1
LearnAut 2022 — Learning & Automata
04 jul 2022 • Paris , France
Résumé:
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
Identifiant de l'évènement:
1488905
2
ICALP Workshop "Trends in Arithmetic Theories"
04 jul 2022 • Paris , France
Résumé:
Logical theories of arithmetic such as Presburger arithmetic play an important role in a variety of different areas of computer science and have been studied since the early days of the field. The recent years have seen a lot of progress on all aspects of such theories, ranging from new foundational results, algorithmic advances, more performant decision procedures to novel application domains. This progress has largely been obtained independently without much interaction between researchers working on different aspects of this field. The goal of this workshop is to bring together researchers working in the field to exchange latest trends, understand currently existing challenges and to initiate new collaborations.
Identifiant de l'évènement:
1488959


Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 25 Mai 2022