[DMANET] SEFM 2019 - Call for Participation

SEFM 2019 - Call for Participation

17th International Conference
on Software Engineering and Formal Methods

September 16-20, 2019, Oslo, Norway

https://sefm2019.inria.fr/

============================================================================

SEFM 2019 aims to bring together leading researchers and practitioners from
academia, industry, and government, to advance the state of the art in
formal methods, to facilitate their uptake in the software industry, and to
encourage their integration within practical software engineering methods
and tools.

INVITED SPEAKERS

Wil van der Aalst (RWTH Aachen University, Germany)
David Basin (ETH Zurich, Switzerland)
Koushik Sen (University of California, Berkeley, USA)


WORKSHOPS
- ASYDE: International Workshop on Automated and verifiable Software
sYstem DEvelopment.
- CIFMA: International Workshop on Cognition: Interdisciplinary
Foundations, Models and Applications.
- CoSim-CPS: Formal Co-Simulation of Cyber-Physical Systems.
- FOCLASA: Workshop on Foundations Of Coordination Languages and
Self-Adaptive
Systems.

============================================================================

The list of accepted papers is available at:
https://sefm2019.inria.fr/accepted-papers/

============================================================================

The registration for SEFM'19 (together with its affiliated workshops and
tutorials) is now open! Early registration with reduced rates ends on
August 15.
See all the details at:
https://sefm2019.inria.fr/registration

============================================================================

The conference and workshops will take place at the Oslo Science Park.
Oslo is one of "New York Times 52 places to visit in 2018"
and one of "Lonely Planet's Top Cities in 2018".
More information about the venue at:
https://sefm2019.inria.fr/venue/.

============================================================================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************