Conférences  >  Informatique  >  Génie logiciel  >  Italie

Sélecionner un pays
1
FMICS 2024 — 29th International Conference on Formal Methods for Industrial Critical Systems
09 sep 2024 - 11 sep 2024 • Milan, Italie
Résumé:
The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Identifiant de l'évènement:
1617591
2
ICFP 2024 — 29th ACM SIGPLAN International Conference on Functional Programming
09 sep 2024 - 13 sep 2024 • Milan, Italie
Organisateur:
Association for Computing Machinery (ACM)
Résumé:
ICFP (International Conference on Functional Programming) is an annual programming language conference. It is sponsored by the Association for Computing Machinery (ACM) under the aegis of the ACM Special Interest Group on Programming Languages (SIGPLAN), in association with Working Group 2.8 of the International Federation of Information Processing (IFIP). ICFP combined two former biennial conferences: Functional Programming and Computer Architecture (FPCA) and Lisp and Functional Programming (LFP) ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.
Date limite de soumission des résumés:
28 fév 2024
Identifiant de l'évènement:
1605592
3
11th Workshop on Collaborative Scientific Software Development and Management of Open Source Scientific Packages
18 nov 2024 - 29 nov 2024 • ICTP, Trieste, Italie
Organisateur:
Abdus Salam International Centre for Theoretical Physics (ICTP), Trieste, Italy
Identifiant de l'évènement:
1580601


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