CALL FOR PAPERS
19th International Workshop on OCL and Textual Modeling
Co-located with
MODELS 2019 ACM/IEEE 22nd International Conference on Model
Driven Engineering Languages and System,
September 15-20, 2019
==
FMICS 2019 - Call for Participation
Early Registration Deadline: 1 August 2019
==
https://fmics2019.fsa.win.tue.nl
The 24th International Conference on Formal Methods for Industrial Critical
Systems will take plac
[apologies for any cross-posting]
Call for Papers [NEW DEADLINES!]
AIIA19 - The 18th International Conference of the Italian Association
[ Please distribute, apologies for multiple postings. ]
==
1st Workshop on Formal Methods for Blockchains (FMBC) 2019
https://sites.google.com/view/fmbc/home
Porto, Portugal, October 11
Part of the 3rd World Congress on Formal Methods
h
=
LOPSTR 2019: Third Call for Papers
==
** Please note that paper submission deadlines have been extended as follows:
Abstract submission: June 2
Apologies for cross-posting
ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers
The program committee of the 35th International Conference on Logic Programming
(ICLP) invites submissions of published journal papers and papers presented at
related conferences for the Si
Apologies for cross-posting. Please, forward to anybody who might be interested.
***
ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming
***
The 15th Doctoral Consortium (DC) on Logic Programming provides students with
the opportunity to present and discuss their research direction
The 35th International Conference on Logic Programming (ICLP 2019)
Special Session: Women in Logic Programming
===
This special session aims to increase the visibility and impact of women in LP,
fostering awareness of one another’s work. To have good role