Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final call for Papers - LfSA'12 - Logics for S...


view this post on Zulip Email Gateway (Aug 18 2022 at 19:30):

From: Philipp Ruemmer <philipp.ruemmer@it.uu.se>
Final call for Papers


LfSA'12 -- Logics for System Analysis
http://www.ls.cs.cmu.edu/LfSA12


Workshop Affiliated with CAV 2012
July 7th, 2012, Berkeley, USA

Safety-critical systems frequently occur as real-time systems,
embedded systems, hybrid systems, distributed systems, and
cyber-physical systems. They are also becoming more and more important
in many application domains, including aviation, automotive, railway,
robotic, or medical applications, where both safety and security are
relevant aspects. To ensure the correct functioning of safety-critical
systems it is necessary to model and reason about hardware, software,
communication aspects, physical properties, and the system
environment.

LfSA’12 is the second workshop on Logics for System Analysis, devoted
to the systematic theoretical study, practical development, and
applied use of logics for system analysis. The purpose of the LfSA
workshop is to bring together researchers and practitioners interested
in studying practically relevant systems or in developing the logical
foundations and analysis tools for their study.

Topics include

In particular, we invite contributions that bridge the gap between
theory and practice or that combine different application domains.

Submission Categories


In addition to informal and electronic workshop proceedings, we
consider the option of a special issue in a journal after the workshop

Workshop/Programme Chairs


Andre Platzer
Carnegie Mellon University

Philipp Ruemmer
Uppsala University

Programme Committee


A. Banerjee (IMDEA Madrid)
R. Barbosa (U. Coimbra)
F. S. de Boer (CWI Amsterdam)
A. Cimatti (IRST Trento)
M. Dam (KTH Stockholm)
S. Demri (CNRS Cachan)
M. Giese (U. of Oslo)
I. Hasuo (U. Tokyo)
F. Ivancic (NEC Lab. Princeton)
E. B. Johnsen (U. of Oslo)
V. Sofronie-Stokkermans (U. Koblenz)
U. Waldmann (MPI Saarbrücken)

Important Dates/Deadlines


Abstract submission: April 13, 2012
Paper submission: April 20, 2012
Notification: June 8, 2012
Final version: June 29, 2012
Workshop: July 7, 2012

Workshop Webpage


http://www.ls.cs.cmu.edu/LfSA12

Submission via Easychair


https://www.easychair.org/conferences/?conf=lfsa12


Last updated: Mar 29 2024 at 08:18 UTC