[TYPES/announce] Dutch Formal Methods Day 2025, 26 June, Amsterdam

[Benno van den Berg]

================================================


                      Dutch Formal Methods Day 2025


                         Amsterdam, Thursday 26 June


                          CALL FOR PARTICIPATION


https://urldefense.com/v3/__https://conf.researchr.org/home/dfdm-2025__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lC8z7f38I$ 


================================================


The Dutch Formal Methods Day is a full-day event dedicated to formal
methods in the Netherlands. This event is an opportunity for people in
academia, industry, and education who are interested in formal methods, in
the broadest sense, to come together, learn, and network. There will be
numerous talks, giving a broad overview formal methods in the Netherlands.
Upon registering, you will have the opportunity to offer a talk.


Coffee and lunch will be provided; there will be ample opportunity for
networking with your colleagues and meeting new people. Experts and
newcomers to the field are equally welcome.


All the talks will be given in English.


## Registration


Participation is free of charge, but registration is required using the
link below:


https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLScK6BhsEfbOCmJEahRIsGISiEhNYZFpM8wJgjeTuck5-FFjPA/viewform?usp=dialog__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lCd9j08EQ$ 


There is a soft registration deadline of *Friday June 20th, 2024*.


## Schedule


You will find a preliminary schedule on the website:


https://urldefense.com/v3/__https://conf.researchr.org/home/dfdm-2025__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lC8z7f38I$ 


Details will be added as speakers become known.


## Location


The Dutch Formal Methods Day will take place in Lab42 at Amsterdam Science
Park. Science Park has a train station, and is a short train ride from
Amsterdam Central Station. More details on how to reach science park can be
found here:

https://urldefense.com/v3/__https://www.amsterdamsciencepark.nl/contact/getting-there/__;!!IBzWLUs!SGMW-b4sFvOVfAP5rCnzSQMo-P6SjYGPDvRPGqxu9OOB9k9Y8uXxyFLg0H90DduKZ0ZyOMGxVN6mamrTa2bpMKus--lC1MMxYSg$ 


## Organisers


Johan Commelin

Andrés Goens

Ronald de Haan

Benno van den Berg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250404/8b7e6fab/attachment-0001.htm>