Seventh Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Sunday 8th July 2018, Oxford, UK
A satellite workshop of FSCD 2018
http://msfp2018.bentnib.org/
** New this time: additional talk proposal category **
** Deadline: 5th April (abstract), 12th April (paper) **
The seventh w
Programming And Reasoning on Infinite Structures
A workshop affiliated with FSCD@FLOC 2018
July 7&8, 2018
Oxford, UK
Developing formal methods to program and reason about infinite data,
whether inductive or coinductive, is challenging and subject to
numerous recent research efforts. The understan
ACM SIGPLAN SPLASH 2018
November 4-9, 2018
Boston, MA, USA
http://2018.splashcon.org
The ACM SIGPLAN Conference on Systems, Programming, Languages and Applications:
Software for Humanity (SPLASH) embraces all aspects of software construction, to
make it the premier conference at the intersection