Skip to Content.
Sympa Menu

coq-club - [Coq-Club] SEFM 2019 - Call for Participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] SEFM 2019 - Call for Participation


Chronological Thread 
  • From: Lina Marsso <sefm2019 AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] SEFM 2019 - Call for Participation
  • Date: Tue, 9 Jul 2019 14:55:44 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=sefm2019 AT gmail.com; spf=Pass smtp.mailfrom=sefm2019 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot1-f50.google.com
  • Ironport-phdr: 9a23:vJ3UhxBsMPUCkGWz/lUXUyQJP3N1i/DPJgcQr6AfoPdwSPv6rsbcNUDSrc9gkEXOFd2Cra4d0ayK6eu9CSQp2tWoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Nhq7oRveusQWgoZpN7o8xAbOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhSwaNTA27XvXh9R/g6xbrhyvpAFxzZDIb4yOLvVyYrnQcMkGSWZdXMtcUTFKDIOmb4sICuoMJeBWr4j7p1QUsBCwAhOjBPn0yj9TgX/9wKo30/8/HgHI2QwsAc4CvGnQodjuO6cSVPq6zKjMzTnZc/xW3jL95ZHOfxs8r/+MWrdwftDQyUkpDw7Fj1OQqZbkPzyPzOgNvXKb4ux9Xuysk24qsx99riSry8s2iYTEhpgZxk7Z+Sll2oo4JcG0RUhmatC+CpRQrTuVN45uT8MiXW5ovCE6x6UDuZGhfSgKzI0rxxnDa/CaaoSI7BLuWPqLLTd3g3Jlf72/hxKs/kS61uL8Ucy03E5LripDjNbMqmgA2wLP5sWDUPdw/Ues1SyR2wzO9u1IO0A5mbbDJ54k2LEwl54TsUrZHi/xnUX7lLSWeVsq+uit9ejrfqjqq5uHOo97jwHxKKUumsilDeskNQgOWnCX+f6g27374U35XLJKg+UqnaneqZDWPNgUpqqkAwBOyYsj8Ba+DzK+0NsCh3UHLVRFeAiGj4fzIV3OLur4Xr+DhAGnly4uzPTbNJXgBI/MJz7NiuTPZ7F4vmpdzgN76NlF/IlTQuUaLfz2ABeo5fTXCxY4N0q/xOOxW4Y17Z8XRW/aWvzRC6jVq1Ldvrt+cdnJX5ccvXPGE9Zg4vfviXEjnlpEJPum2JIWbDazGfE0ehzEM0qpuc8IFCIxhiR7TOHujwffAztaZnL3WL5loz9mUMSpCoDMQo3ri7uEjn/iQs9mI1teA1XJKk/GMp2eUq5VOi2XK85l1DcDUOr5Rg==


                      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/.

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


  • [Coq-Club] SEFM 2019 - Call for Participation, Lina Marsso, 07/09/2019

Archive powered by MHonArc 2.6.18.

Top of Page