Conférences  >  Informatique  >  Théorie de l'information, fondations de l'informatique  >  Brésil

Sélecionner un pays
1
LSFA22 — 17th International Workshop on Logical and Semantic Frameworks, with Applications
23 sep 2022 - 24 sep 2022 • Belo Horizonte, MG, Brésil
Résumé:
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
Identifiant de l'évènement:
1489191


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: 28 mai 2022