[TYPES/announce] [SASB 2018] 9th International Workshop on Static Analysis in Systems Biology - Call for Papers

[Nicola Paoletti]

[Apologies for multiple copies.]

=========================================================================
                              CALL FOR PAPERS

                                 SASB 2018

                      9th International Workshop on
    Static Analysis in Systems Biology


https://www.mcss.uni-konstanz.de/sasb-2018/

               August 28, 2018, Freiburg im Breisgau, Germany


Affiliated with the Static Analysis Symposium (SAS) 2018
=========================================================================

****Submission deadline 1st July ****


SASB 2018 is a one-day workshop that aims to promote discussion and
collaboration at the intersection between formal methods and biology. The
program of SASB 2018 will consist of invited talks, presentations of
refereed talks, and presentations of refereed papers. Contributions are
welcome on all aspects of modelling languages and associated analysis
techniques, including static analysis of natural biological systems and the
design, specification and verification of engineered biological and
chemical systems. This includes, but is not limited to:
> static analysis frameworks and tools,
> equivalences and equivalence checking techniques,
> model reduction and decomposition techniques based on static analysis,
> state space compaction based on static analysis,
> links between topology and dynamics,
> constraint-based and stoichiometric analysis,
> languages for compact description of biological models,
> formalisms for description of biological networks,
> programming languages for molecular devices,
> static analysis in verification of molecular devices design,
> standards for models and their annotation,
> case studies and method applications,
> informal methods (that could be candidate to formalisation).


Invited Speakers
To be announced.


Format

All papers must be original and not simultaneously submitted to another
journal or conference. Full papers should be at most 12 pages, ENTCS
format, excluding references. Extended abstracts (for presentation-only
submissions) should be at most three pages, excluding references, in ACM
proceedings format (http://www.sigplan.org/Resources/Author/#acmart-format).
Please submit your abstract via the SASB 2018 author interface of
EasyChair: https://easychair.org/conferences/?conf=sasb2018.

We are currently working towards securing an open special issue in a
high-quality journal.


Important Dates
- Abstract submission: July 1, 2018
- Paper submission: July 8, 2018
- Notification: July 22, 2018
- Workshop: August 28, 2018


PC co-Chairs
- Ankit Gupta, ETH Zurich
- Tatjana Petrov, University of Konstanz


Program Committee
- Lea Popovic, Concordia University, Canada.
- Verena Wolf, Saarland University, Germany.
- David Šafránek, Masaryk University, Czech Republic.
- Jean Krivine, IRIF, France.
- Jerome Feret, INRIA, France.
- Luca Cardelli, Microsoft, UK.
- Ashutosh Gupta, TIFR, India.
- John Bachman, Harvard University, USA.
- Loïc Paulevé, CNRS/LRI, France.
- Heinz Koeppl, TU Darmstadt, Germany.
- Nicola Paoletti, Stony Brook University, USA.
- Hans-Michael Kaltenbach, ETH Zurich, Switzerland.
- Natasa Miskov-Zivanov, University of Pittsburgh, USA.
- Eugenio Cinquemani, INRIA, France.


-- 
Nicola Paoletti
Postdoctoral associate
Department of Computer Science - Stony Brook University
http://www.nicolapaoletti.com/

****** VEMDP 2018, 3rd International Workshop on Verification of Engineered
Molecular Devices and Programs (http://dna.caltech.edu/vemdp2018/) ******
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180611/657f7ed6/attachment-0001.html>