Logic List Mailing Archive

CfP: Dutch Formal Methods Day 2025, June 26, Amsterdam (The Netherlands)

================================================
           Dutch Formal Methods Day 2025
            Amsterdam, Thursday 26 June
             CALL FOR PARTICIPATION
https://conf.researchr.org/home/dfdm-2025
================================================

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://docs.google.com/forms/d/e/1FAIpQLScK6BhsEfbOCmJEahRIsGISiEhNYZFpM8wJgjeTuck5-FFjPA/view 
form?usp=dialog


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


## Schedule


You will find a preliminary schedule on the website:


https://conf.researchr.org/home/dfdm-2025


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://www.amsterdamsciencepark.nl/contact/getting-there/


## Organisers


Johan Commelin
Andrs Goens
Ronald de Haan
Benno van den Berg
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php