Email Gateway (Aug 18 2022 at 19:30): 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
Logics for safety-critical systems (real-time, embedded, hybrid,
distributed, stochastic, cyber-physical)
Logic-based methods for development of safety-critical systems
Logics to study security aspects of systems or protocols
System representations using logics, automata, modeling languages,
state charts, Petri nets, dataflow models
Theories, decision procedures, and calculi for system analysis
Model checking, theorem proving, and systematic testing
Case studies for logical system analysis
Applications of system analysis to industrial problems
In particular, we invite contributions that bridge the gap between
theory and practice or that combine different application domains.
Submission Categories
Regular papers (up to 15 pages), which should present previously
unpublished work (completed or in progress), including descriptions
of research, tools, and applications.
Short papers (up to 5 pages), which describe work in progress or aim
at initiating discussions.
Presentation-only papers, i.e., papers already submitted or
presented at a conference or another workshop; such papers will not
be included in the LfSA proceedings but will be presented during the
workshop.
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: Nov 21 2024 at 12:39 UTC