posted by organizer: jeanyang || 1093 views || tracked by 1 users: [display]

SASB 2017 : The Eighth International Workshop on Static Analysis in Systems Biology

FacebookTwitterLinkedInGoogle

Link: http://www.cs.cmu.edu/~sasb2017/
 
When Aug 29, 2017 - Aug 29, 2017
Where New York, NY
Submission Deadline Jul 1, 2017
Notification Due Aug 2, 2017
Final Version Due Aug 20, 2017
Categories    static analysis   programming languages   systems biology
 

Call For Papers

CALL FOR SUBMISSIONS
(Papers and talks)

SASB 2017
The Eighth International Workshop on Static Analysis in Systems Biology
Colocated with Static Analysis Workshop (SAS) 2017

http://www.cs.cmu.edu/~sasb2017/

29th August 2017, New York, New York

Objectives
SASB is a one-day workshop aimed at promoting discussions and collaborations at the intersection between programming languages, formal methods, static analysis, and systems and synthetic biology of natural and engineered systems.

Scope
The program of SASB 2017 will consist of invited talks, presentations of refereed talks, and presentations of refereed papers. Contributions are welcome on all aspects of modeling 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 formalization).

Submission
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. Please submit on EasyChair here:
https://easychair.org/conferences/?conf=sasb2017

Important Dates
Paper and presentation submissions due: July 1, 2017
Paper and presentation notifications: August 2, 2017

Invited Speaker:
Matt Might (pending White House Approval), Strategist in the Executive Office of the President, Director of the Hugh Kaul Precision Medicine Institute (UAB)

Contact
sasb2017-chairs@cs@cmu@edu

--

Program co-chairs
Jean Yang, Carnegie Mellon University
John A. Bachman, Harvard Medical School

Program Committee
- Luca Cardelli, Microsoft Research
- Eric Deeds, University of Kansas
- James Faeder, University of Pittsburgh
- Jérôme Feret, INRIA Paris
- Ben Hall, University of Cambridge
- Jean Krivine, Université Paris Diderot
- Nicola Paoletti, Stony Brook University
- Loic Paulevé, CNRS and LRI
- Tatjana Petrov, IST Austria
- Amoury Pouly, MPI-SWS
- Ovidiu Radulescu, Université de Montpellier 2
- Qinsi Wang, Carnegie Mellon University
- Paolo Zuliani, Newcastle University

Related Resources

SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
BIGML 2020   International conference on Big Data, Machine learning and Applications
High-throughput 2019   Special Issue on Recent Advances in Transposable Elements-based Genetic Diversity Assessment, Discovery, and Analysis
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
Journal Special Issue 2019   Machine Learning on Scientific Data and Information
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
VPT 2020   Eighth International Workshop on Verification and Program Transformation
ASONAM 2020   The 2020 IEEE/ACM International Conference on. Advances in Social Networks Analysis and Mining
ICIAR 2020   17th International Conference on Image Analysis and Recognition
MoreVMs 2020   Workshop on Modern Language Runtimes, Ecosystems, and VMs