coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: nevrenato AT gmail.com
- To: Renato Neves <nevrenato AT gmail.com>
- Subject: [Coq-Club] Formal Methods 2019 - Call for Participation
- Date: Sat, 27 Jul 2019 21:16:27 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=nevrenato AT gmail.com; spf=Pass smtp.mailfrom=nevrenato AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f68.google.com
- Ironport-phdr: 9a23:FsrqYBa4XVMZ+CgcnQfqtBn/LSx+4OfEezUN459isYplN5qZrsu8bnLW6fgltlLVR4KTs6sC17OM9fC+EjVcsd6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6twbcu8gZjYd/Jas8yQbCr2dVdehR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/YTQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhSEaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFOBZ6yb5YUD+oZI+lXs5X9qVUJrRu7HwasBeXvwSJMinL52aA21uIsHgba0QEuA94CrW3YoMnoOKwPVey50anFwTDFYvhL2zny9ZLIfwgir/+RXbx+b8TfxlUhGAzKgVudspDlMjCP2+gRr2SW9ehtWOSygGAnsQFxpT2vy98qiobXmIIV0E7L9SNjz4YpIt21U0F7Ydu+H5tRsyGWLZd5QsQnQ2xupS00xLoGuZuhcygLzpQq3wXQa/2bc4SS5hLiVP6dITZ+hH17Y7Kwmwqy/la8xeHmTsm0zFBHpTdGnNnUrn0ByQDf58ydRvZ+/kqtwyiD2x7O5u1eIE05lrLXJ4A9zrIsi5YetEfOETXqlEjzkqCbeF8r9+qt5uv7ZrjquoKQOop2hw7iMqkjm8myDv42MgQQUWiW/OWx2bPt8ED4RbhFlOE5n6fEv53cOM8VvLS2AxVP3YYm8xu/Dymp0NAfnXQfKVJKYhOHj4zwN1DAOvD0EO6zg1qtnTpo3fzGMbrhApLCLnjHjrjtZ6py60lZyAYrzNBf4YxbCq0ZLf7tRkP8sMbUAxw5PgCu3errFshx2pkfVG+MGqOZNbndsV6M5uIhOemMY4oVtS77K/c7+f7ul2E2mVkHcqm12psac3+4HvF8LEWYZXrgmMsOEWAPvgYmVuzllEWCUSJPZ3a1R68z+is0CIeiDYvaQoCtgaeB3DugE51NZmFGD0iMHm3ye4WFXfcMciOSLdV7njwKT7irU5Uh2g22tA/m17pnKfLZ9TEftZL6zdR6++nTlQwp+jFvFMSc02SNT3lukW8SRj822rp/oU1nxVuZ36h4ma8QKdsG3f5PWxs9fbjR0eFhQ4T0Vxzbc9GAVFGOTdCvADV3RdU0lYwgeUF4TtOvkArO2SO2BJcakrWKANo/9aePjDDKO89hxiOeh+EahF48T54KbjP/1/xPsjPLDouMqH230qOjdKASxinIrT7Rwm+HvUUeWwl1A/ycACIvI3DOpNG83XvsCr+jDbN9b1lEwM+Gb7RQM5jn0wUAS/DkN9DTJWm2njXoXEra9va3dIPvPl4l8mDFEkFdylIc+H+HMU41ASLz+28=
# FM'19 - Call for Participation
3rd World Congress on Formal Methods
Porto, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
@formalmethods19
______________________________________________________________
*** Apologies for cross-posting ***
______________________________________________________________
The FM'19 will take place at the Alfandega do Porto Congress Center,
Porto, October 7-11, 2019, under the motto "The Next 30 Years".
Registration is open at https://bit.ly/2JfdBjO as follows:
. Early – until Sep 10 (AoE)
. Late – from Sep 11 until 5 Oct (AoE)
. On site – from Oct 6 to Oct 11 (AoE)
Further to the Industry day, Tool Exhibition, Doctoral Symposium (and a
social event on Oct 10), FM'19 involves more than 30 parallel events
(symposia, conferences, workshops and tutorials) spreading over several
FM related areas:
. FM 2019 – 23rd International Symposium on Formal Methods
. LOPSTR 2019 – 29th International Symposium on Logic-Based Program
Synthesis and Transformation
. MPC 2019 – 13th International Conference on Mathematics of Program
Construction
. PPDP 2019 – 21st International Symposium on Principles and Practice
of Declarative Programming
. RV 2019 – 19th International Conference on Runtime Verification
. SAS 2019 – 26th International Static Analysis Symposium
. TAP 2019 – 13th International Conference on Tests and Proofs
. UTP 2019 – 7th International Symposium on Unifying Theories of
Programming
. VECoS 2019 – 13th International Conference on Verification and
Evaluation of Computer and Communication Systems
. AFFORD 2019 – Practical Formal Verification for Software
Dependability
. DALI 2019 – 2nd Workshop on Dynamic Logic: New Trends and
Applications
. DataMod 2019 – 8th International Symposium “From Data to Models and
Back (DataMod)”
. FMAS 2019 – Formal Methods for Autonomous Systems
. FMBC 2019 – Workshop on Formal Methods for Blockchains
. FMIS 2019 – 8th Formal Methods for Interactive Systems Workshop
. FMTea 2019 – Formal Methods Teaching Workshop and Tutorial
. F-IDE 2019 – 5th Workshop on Formal Integrated Development
Environment
. HFM 2019 – History of Formal Methods
. NSAD 2019 – 8th International Workshop on Numerical and Symbolic
Abstract Domains
. OpenCERT 2019 – 9th Int. Workshop on Open Community approaches to
Education, Research and Technology
. OVT 2019 – 17th Overture Workshop
. REFINE 2019 – 19th Refinement Workshop
. RPLA 2019 – Reversibility in Programming, Languages, and Automata
. SASB 2019 – 10th International Workshop on Static Analysis and
Systems Biology
. TAPAS 2019 – 10th Workshop on Tools for Automatic Program Analysis
. ALLOY – Formal software design with Alloy and Electrum (Tutorial)
. CbC – The Correctness by Construction Approach to Programming
(Tutorial)
. FM4BioMed – Formal Methods for BioMedicine (Tutorial)
. FRAMA-C-IoT – Formal Verification of IoT Software with Frama-C
(Tutorial)
. KEYMAERA X – Modular Formal Verification of Cyber-Physical Systems
with KeYmaera X (Tutorial)
. MLFV – ML + FV = ♥? A Gentle Introduction to the use of Machine
Learning within Formal Verification Tools (Tutorial)
. SRV – Stream-based Runtime Verification (Tutorial)
As a whole, the FM'19 congress will bring together a distinguished
group of 40+ world-top guest speakers whose short bios can be found at
https://bit.ly/2Io2Lsh.
The FM'19 organizers thank all corporations that have been so kind to
sponsor the Congress – please see the 'Sponsor FM'19' gallery at
https://bit.ly/2CrKnMA.
For more information, please visit the following pages of the FM'19
Website:
. FM Week - https://bit.ly/2zsyCUu
. Accepted papers - https://bit.ly/2YtIp9Y (updated as data arrives
from event chairs)
. Call for participation - https://bit.ly/2JfdBjO
. Registration page - https://bit.ly/2NTR9SR
. Venue - https://bit.ly/2MdNCMu
. Accommodation - https://bit.ly/2OuHXEu
. Getting to Porto - https://bit.ly/2ykguKN
. Social program - https://bit.ly/2JfdBjO
. Weather forecast - https://bit.ly/2SLOKZ5 (or https://bit.ly/2YjeEo3
for more details)
Contact:
contactfm2019 AT inesctec.pt
We are also on Twitter: @formalmethods19
_____________________________________________________________
*** Welcome to FM'19 ***
*** Welcome to PORTO ***
*** Welcome to Portugal ***
______________________________________________________________
- [Coq-Club] Formal Methods 2019 - Call for Participation, nevrenato, 07/27/2019
Archive powered by MHonArc 2.6.18.