Conférences  >  Mathématiques  >  Logique mathématique et fondements  >  France

Sélecionner un pays
1
λ-calcul différentiel et logique linéaire différentielle, 20 ans après
13 mai 2024 - 17 mai 2024 • CIRM (Marseille Luminy), France
Organisateur:
CIRM – Centre International de Rencontres Mathématiques
Identifiant de l'évènement:
1574729
2
AQRNL 2024 — 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics
01 jul 2024 • Nancy, France
Résumé:
The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications, describe problem formalizations, example problems, and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.
Sujets:
Topics of the ARQNL workshop will cover all aspects related to the mechanization and automation of quantified non-classical logics.
Identifiant de l'évènement:
1617422


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: 2 mai 2024