[TYPES/announce] CMSB 2017 - 1st Call for Presentations

[Jerome Feret]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Apologies for multiple copies)


CALL FOR SUBMISSIONS
(Papers, tools, posters, tutorials, presentations)






CMSB 2017
15th International Conference on Computational Methods in Systems Biology


http://www.cmsb2017.tu-darmstadt.de


27th-29th September 2017 Technische Universität Darmstadt (Germany)


Description


CMSB 2017 solicits original research articles, posters, tutorials, and tool
papers, on the analysis of biological systems, networks, data, and
corresponding application domains. The conference brings together computer
scientists, biologists, mathematicians, engineers, and physicists interested
in a system-level understanding of biological processes.


Topics of interest include, but are not limited to:
- formalisms for modelling biological processes
- models and their biological applications
- frameworks for model verification, validation, analysis and simulation
of biological systems
- high-performance Computational Systems Biology and parallel implementations
- model inference from experimental data
- model integration from biological databases
- multi-scale modelling and analysis methods
- methods for synthetic biology and biomolecular computing


In particular, the conference is open to theoretical works with potential
applications to modelling and systems biology, as well as applications of
existing framework to new models or that may provide new insights to existing
models.


Contributions should be submitted to one of the following categories:
A) Regular papers
B) Tool papers
C) Posters
D) Tutorials
E) Presentation only


The proceedings of CMSB 2017 will be published as a volume in Springer's
Lecture Notes in Computer Science / Lecture Notes in Bioinformatics series
(LNCS/LNBI).


After the conference, a selection of papers will be invited to be extended an
submitted to a special issue of the journal IEEE/ACM Transactions on
Computational Biology and Bioinformatics.


Invited Speakers


To be announced later.




Call for Submissions:




A) CALL FOR REGULAR PAPERS:


Regular papers should describe original work that has not been previously
published and is not under review for publication elsewhere. Papers must
be written in English and must conform the LNCS style. They have to be
submitted electronically as PDF files via EasyChair. The limit for
submissions is 15 pages excluding bibliography and well-marked appendices.
Each
submission will be refereed rigorously by at least three reviewers.
The reviewers are not required to read the appendices, and thus papers
must be
intelligible without them.


Important Dates
- Abstract presubmission: April 07, 2017
- Paper submission: April 14, 2017
- Paper notification: June 15, 2017
- Camera-ready: June 30, 2017


Replicability and reproducibility:
A paper may come with benchmarks, software, models, and so on.
In order to encourage the development of reproducible results, the authors of
accepted papers will be suggested to submit supplementary materials, so that
the committee can evaluate the reproducibility of their work.


B) CALL FOR TOOL PAPERS:


Tool papers should present new tools, new tool components or novel
extensions to existing tools supporting the modelling and analysis of
biological systems. Each submission should be original and not published
previously in a tool paper form. Papers must be written in English and
must conform the LNCS style. They have to be submitted electronically as PDF
files via EasyChair. The limit for submissions is 6 pages. Appendices will
not be counted in the page limit. Papers must include information on
methods, tool availability, maturity, selected experimental results.
Authors should make their tools and benchmarks available at the time of
submission for evaluation by the committee. Each submission must be
accompanied by a supplementary PDF file illustrating the usage of the tool
(e.g. screenshots, step-by-step guide, short tutorial) and, if applicable,
how the tool demo will be conducted during the conference presentation.
Presenters of accepted tool papers will be encouraged to include a
showcase/running demo of the tool in their talk.


Important Dates
- Abstract presubmission: April 07, 2017
- Paper submission: April 14, 2017
- Paper notification: June 15, 2017
- Camera-ready: June 30, 2017




C) CALL FOR POSTERS:


CMSB 2017 solicits original poster abstracts on the computational modeling
and
analysis of biological systems, pathways, networks, data, and corresponding
application domains.


We especially encourage poster submission from experimental biologists!


Poster abstracts must conform the LNCS style. They have to be submitted
electronically as PDF files via EasyChair. The limit for submissions is 2
pages.


Important Dates
Poster submission: June 1, 2017
Poster notification: June 10, 2017


D) CALL FOR TUTORIALS:


CMSB 2017 will host a number of tutorials. Tutorials provide 

[TYPES/announce] PLACES 2017 – Deadline Extension

[Philipp Haller]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Please forward to anyone interested. Apologies for multiple mailing.]

PLACES 2017 – Deadline Extension

http://places17.by.di.fc.ul.pt/

10th Workshop on Programming Language Approaches to
Concurrency- and Communication-cEntric Software

Co-located with ETAPS 2017, Uppsala, Sweden

***

Modern hardware platforms, from the very small to the very large, increasingly 
provide parallel computing resources which software may use to maximise 
performance. Many applications therefore need to make effective use of tens, 
hundreds, and even thousands of compute nodes. Computation in such systems is 
thus inherently concurrent and communication-centric.

Effectively programming such applications is challenging; performance, 
correctness, and scalability are difficult to achieve. Various programming 
paradigms and methods have emerged to aid this task, including structured 
imperative concurrent programming, stream-based programming, concurrent 
functions with asynchronous message passing, automatic parallelisation, and the 
use of types to describe communications and data structures (such as session 
and linear types), to name but a few. To fully exploit a (possibly 
heterogeneous) parallel computing environment often requires these approaches 
to be combined, depending on the shape of the data and control flow. All the 
while, the underlying runtime environment must ensure seamless execution 
without relying on differences in available resources such as the number of 
cores.

The development of effective programming methodologies for this increasingly 
parallel landscape therefore demands exploration and understanding of a wide 
variety of foundational and practical ideas. This workshop offers a forum where 
researchers from different fields can exchange new ideas on this key challenge 
to modern and future programming– where concurrency and distribution are the 
norm rather than a marginal concern.

Submissions are invited in the general area of programming language approaches 
to concurrency, communication and distribution, ranging from foundational 
issues, through language implementations, to applications (such as scientific 
computing) and case studies. Specific topics include, but are not limited to:

* Design and implementation of programming languages with first class support 
for concurrency and communication
* Behavioural types, including session types
* Concurrent data types, objects and actors
* Verification and program analysis methods for concurrent and distributed 
software
* Runtime systems for scalable management of concurrency and resource allocation
* High-level programming abstractions addressing security concerns in 
concurrent and distributed programming
* Multi- and many-core programming models, including methods for harnessing 
GPUs and other accelerators
* Memory models for concurrent programming on relaxed-memory architectures
* Integration of sequential and concurrent programming techniques
* Use of message passing in systems software
* Interface languages for communication and distribution
* Novel programming methodologies for sensor networks
* Programming language approaches to web services
* Concurrency and communication in event processing and business process 
management

Papers are welcome which present novel and valuable ideas as well as 
experiences.

Submissions should be (at most) 6-page extended abstracts in EPTCS format and 
may include an appendix of up to 4 pages. An abstract should be registered via 
the EasyChair submission site 
(https://easychair.org/conferences/?conf=places17) by January 29th 
(anywhere-on-Earth) with the paper submitted by February 5th 
(anywhere-on-Earth). There will be a post-proceedings special issue in JLAMP 
(Journal of Logic and Algebraic Methods) after the workshop which will be open 
to anyone (with a further round of reviewing).

Abstract submission:   12 February 2017
Paper submission:   19 February 2017
Notification:   8 March 2017
ETAPS early-registration deadline:  12 March 2017
PLACES workshop:29 April 2017

Submission deadlines are "anywhere on Earth".

COMMITTEES

Programme chairs: Philipp Haller and Vasco T. Vasconcelos

Programme committee:
* Sebastian Burckhardt, Microsoft Research
* Ilaria Castelani, INRIA Sophia Antipolis
* Marco Carbone, ITU
* Silvia Crafa, University of Padova
* Patrick Eugster, TU Darmstadt
* Ganesh L Gopalakrishnan, University of Utah
* Philipp Haller, KTH
* Dimitrios Kouzapas, University of Glasgow
* Sam Lindley, University of Edinburgh
* Luca Padovani, Univ Torino
* Aleksandar Prokopec, Oracle Labs
* Peter Thiemann, University of Freiburg 
* Vasco T. Vasconcelos, University of Lisbon

Organising committee: Simon Gay, Alan Mycroft, Vasco T. Vasconcelos, and 

[TYPES/announce] Postdoc position at the University of Lisbon

[Vasco T. Vasconcelos]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

***  Post-doc opening on Communication Contracts for Distributed
Systems Development ***

We welcome applications for a fulltime postdoctoral research position
at the University of Lisbon.

The position is funded by the research project "CONFIDENT -
Communication Contracts for Distributed Systems Development",
http://gloss.di.fc.ul.pt/content/confident 
, a three year collaborative
project between a team at the Faculty of Sciences (including Vasco T.
Vasconcelos and Antónia Lopes) and another at Técnico (Paulo Mateus
and Pedro Adão).

The objective of the project is the development of tools and
technology for describing, testing, statically verifying, and
inferring communication contracts for the effective construction and
evolution of complex distributed systems, notably RESTful
applications. Particular attention will be given to the validation of
security requirements of APIs. We plan to integrate the theory of
behavioural type systems into a notion of communication contracts,
effective in driving the software development life cycle of RESTful
applications.

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, language-based security, verification and testing,
concurrency and distribution.

The contract is for one year, extensible for a second year.
Applicable administrative rules may be found at the FCT site,
http://www.fct.pt/apoios/bolsas/index.phtml.en 
.

Applications should include a curriculum vitae in pdf format, contact
details for three referees, and should be sent to

LaSIGE - Large-Scale Informatics Systems Laboratory
http://www.lasige.di.fc.ul.pt 
Email: Pedro Gonçalves, pgoncal...@di.fc.ul.pt 
Phone: +351 21 750 05 32

Interested applicants are encouraged to contact Vasco T. Vasconcelos
directly.

Application deadline: 28th February 2017.