Modeling

The formalization of system engineering models and approaches.
forum

Visible to the public CfP: TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming

Submitted by Anonymous on Fri, 09/09/2016 - 1:53pm

CALL FOR PAPERS - Extended Deadline February 15, 2017

Special Issue of Theory and Practice of Logic Programming Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming

http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/

forum

Visible to the public CFP NFM 2017: 9th NASA Formal MethodsSymposium

Submitted by Anonymous on Fri, 09/09/2016 - 1:11pm

CALL FOR PAPERS

The 9th NASA Formal Methods Symposium (NFM 2017)

May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/

Theme of the Symposium

forum

Visible to the public CFP NFM 2017: 9th NASA Formal MethodsSymposium

Submitted by Anonymous on Fri, 09/09/2016 - 1:11pm

CALL FOR PAPERS

The 9th NASA Formal Methods Symposium (NFM 2017)

May 16 - 18, 2017 | NASA Ames Research Center - Moffett Field, CA, USA | http://ti.arc.nasa.gov/events/nfm-2017/

Theme of the Symposium

event

Visible to the public  PADL 2017
Jan 16, 2016 7:00 am - Jan 17, 2016 6:00 pm CET

Submitted by Anonymous on Fri, 09/09/2016 - 1:01pm

19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017)

16th and 17th January 2017 | Paris, France | http://bit.ly/PADL-2017

Co-located with ACM POPL 2017 - http://conf.researchr.org/home/POPL-2017

forum

Visible to the public PhD position at the University of Oldenburg

Submitted by Anonymous on Fri, 09/02/2016 - 11:02am

A 3-year PhD position (scientific assistant) is available in the lab of Prof. Dr. Annegret Habel, Department of Computing Sciences, University of Oldenburg, starting October 1st 2016

Deadline: 15th September 2016.