[Hol-info] WST 2021: deadline extension (9 May, 2021)

2021-04-26 Thread Samir Genaim
== WST 2021 - Call for Papers 17th International Workshop on Termination http://costa.fdi.ucm.es/wst2021 July 16, 2021, Pittsburgh, PA, United States

[Hol-info] [fm-announcements] Call for (Virtual) Participation - NFM 2021

2021-04-26 Thread Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
***  CALL FOR (VIRTUAL) PARTICIPATION    13th NASA Formal Methods Symposium (NFM 2021)  May 24-28, 2021    https://shemesh.larc.nasa.gov/nf