NFM 2016 – Second Call For Papers
THE 8TH NASA FORMAL METHODS SYMPOSIUM
http://crisys.cs.umn.edu/nfm2016
June 07 - June 09 2016
McNamara Alumni Center
University of Minnesota
200 Oak Street S.E., Minneapolis, MN 55455
THEME OF THE SYMPOSIUM
The widespread use and increasing complexity of
Sixth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2016, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016
http://msfp2016.bentnib.org/
The sixth workshop on Mathematically Structured Functional Programming
is devoted to the derivation of functionality
Joint Call for Papers
ETAPS 2016 Satellite Workshops
Eindhoven, The Netherlands, 2-3 and 8 April 2016
http://www.etaps.org/2016/workshops
ETAPS, the European Joint Conferences on Theory and Practice of
Software, is the