Dear petrinet@informatik.uni-hamburg.de,
Please find attached the final Call for Papers for RAMiCS 15 including
extended deadlines.
Best regards
Michael Winter
(on behalf of the organising committee)
--
Call for Papers
Horn Clauses for Verification and Synthesis (HCVS)
July 19, 2015 - San Francisco, USA
Submission deadlines:
- paper submission: May 22, 2015
- paper notification: June 19, 2015
Most Program Verification and Synthesis problems of interest can be
modeled directly using Horn
Call for Tool Demos
GRAPHS AS MODELS (GaM 2015)
First International Workshop
http://utwente.nl/gam2015/
Satellite
Due to the large success of the first run, this 6 week online course is
repeated as of April. The course provides data science knowledge that can be
applied directly to analyze and improve processes in a variety of domains.
Starts: April 1st, 2015
For more information and to register visit: