[TYPES/announce] FEVER 2017 @ CAV - Call for Participation

[Nils Jansen]

FEVER 2017, co-located with CAV 2017, is the first workshop focussing on explainable and understandable verification. We have two excellent invited speakers and an interesting and diverse program. All details can be found below. Please forward this email to interested colleagues.

======================================================
CALL FOR PARTICIPATION

FEVER 2017

Workshop on Formal approaches to Explainable VERification
JULY 23, 2017, HEIDELBERG, GERMANY

Co-Located with CAV 2017

http://fever.nilsjansen.org

Important: Early registration ends on June 14, 2017
======================================================


======================================================
INVITED SPEAKERS 

* Roderick Bloem, TU Graz, Austria
* Holger Hermanns, Saarland University, Germany
======================================================


======================================================
ACCEPTED CONTRIBUTIONS

- Thomas Ferrère, Oded Maler and Dejan Nickovic: Trace Diagnostics using Temporal Implicants

- Viktor Schuppan: A Framework for Comparing the Granularity of Unsatisfiable Cores, Vacuity, and Related Notions

- Taylor T Johnson:	Reusable and Understandable Formal Verification for Cyber-Physical Systems	

- Arnd Hartmanns: JANI for Modelling and Tool Interaction

- Murat Cubuktepe, Nils Jansen and Ufuk Topcu: Inverse Reinforcement Learning to Capture Human Intent in a Shared Control Setting

- Tomas Brazdil, Krishnendu Chatterjee, Jan Kretinsky and Viktor Toman: Strategy Representation by Decision Trees

- Hillel Kugler:	Explainable Verification-Based Approaches in Systems Biology	

- Rayna Dimitrova, Rupak Majumdar and Vinayak Prabhu: Causality Analysis for Concurrent Reactive Systems

- Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo: Sharper and Simpler Nonlinear Interpolants for Program Verification
======================================================


======================================================
CHAIRS

* Benoît Delahaye, University of Nantes, France
* Nils Jansen, Radboud University Nijmegen, The Netherlands
* Scott A. Smolka, Stony Brook University, USA
* Ufuk Topcu, The University of Texas at Austin, USA
======================================================



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170602/9ddafe34/attachment.html>