Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] (Call for Participation) Dafny Workshop at POP...


view this post on Zulip Email Gateway (Jan 17 2025 at 17:28):

From: Stefan Zetzsche <stefanzetzsche@gmail.com>


**
** CALL FOR PARTICIPATION
**
** Dafny at POPL 2025
** 2nd Workshop on the Dafny Programming and Verification Language
** 19th of January 2025, Denver, Colorado, United States
**
** https://popl25.sigplan.org/home/dafny-2025
**



** ACCEPTED PAPERS



** ORGANISATION


Program Committee Chairs:

Program Committee:

Steering Committee Chairs:


** CONTACT


All questions should be emailed to the program chair Stefan Zetzsche (
stefanze@amazon.com).


Last updated: Jan 30 2025 at 04:21 UTC