****
** Call for Papers: FACS 2019 **
****
**16th International Conference on**
** Formal Aspects of Component Software **
****
** 23-25 October 2019,
*We apologize if you received this email several times. To be removed from our
mailing list, please respond to this message with UNSUBSCRIBE in the subject
line.*
WORDS 2019
12th International Conference
Loughborough, September 9–13, 2019
http://words2019.lboro.ac
===
Call for papers
Logical Frameworks and Meta-Languages: Theory and Practice
LFMTP 2019
Vancouver, CA, 22 June 2019
Af
[Apologies for multiple postings]
-- Second Call for Papers --
ASYDE 2019: 1st International Workshop on on Automated and verifiable Software
sYstem DEvelopment, co-located with the 17th International Conference on
Software Engineering and Formal Methods (SEFM 2019), Oslo, Norway - September
We call for bids to host ITP 2021, the 12th edition of the
International Conference on Interactive Theorem Proving.
It has long been decided that next year's ITP will be incorporated
into IJCAR 2020, the International Joint Conference on Automated
Reasoning, to be held in Paris. But planning ahea