[TYPES/announce] CfP: 12th Interaction and Concurrency Experience (ICE 2019)

[Alceste Scalas]

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



 ICE 2019 - 12th Interaction and Concurrency Experience

ICE 2019 is a satellite workshop of DisCoTec 2019 
, held on June 20-21, 2019 in Lyngby, 
Denmark.


Webpage: http://www.discotec.org/2019/ice

Paper submission: https://easychair.org/conferences/?conf=ice20190


   Highlights

 * Distinctive selection procedure
 * ICE welcomes full papers to be included in the proceedings
 * ICE also welcomes oral communications of already published or
   preliminary work
 * Submission deadline: April 18 (abstracts), April 20 (papers)
 * Publication in EPTCS
 * Special issue in the Journal of Logical and Algebraic Methods in
   Programming (Elsevier)


   Important dates

 * April 18, 2019: abstract submission
 * April 20, 2019: paper submission
 * April 20 - May 11, 2019: reviews and PC discussion
 * May 24, 2019: notification
 * June 20-21, 2019: ICE workshop
 * July 15, 2019: camera-ready for EPTCS post-proceedings


   Scope

Interaction and Concurrency Experiences (ICEs) is a series of 
international scientific meetings oriented to theoretical computer 
science researchers with special interest in models, verification, 
tools, and programming primitives for complex interactions.


The general scope of the venue includes theoretical and applied aspects 
of interactions and the synchronization mechanisms used among components 
of concurrent/distributed systems, related to several areas of computer 
science in the broad spectrum ranging from formal specification and 
analysis to studies inspired by emerging computational models.


We solicit contributions relevant to Intereaction and Concurrency, 
including but not limited to:


 * Formal semantics
 * Process algebras and calculi
 * Models and languages
 * Protocols
 * Logics and types
 * Expressiveness
 * Model transformations
 * Tools, implementations, and experiments
 * Specification and verification
 * Coinductive techniques
 * Tools and techniques for automation
 * Synthesis techniques


   Selection Procedure

Since its first edition in 2008, the distinguishing feature of ICE has 
been an innovative paper selection mechanism based on an interactive, 
friendly, and constructive discussion amongst authors and PC members in 
an online forum.


During the review phase, each submission is published in a dedicated 
discussion forum. The discussion forum can be accessed by the authors of 
the submission and by all PC members not in conflict with the submission 
(the forum preserves anonymity). The forum is used by reviewers to ask 
questions, clarifications, and modifications from the authors, allowing 
them better to explain and to improve all aspects of their submission. 
The evaluation of the submission will take into account not only the 
reviews, but also the outcome of the discussion.


As witnessed by the past nine editions of ICE, this procedure 
considerably improves the accuracy of the reviews, the fairness of the 
selection, the quality of camera-ready papers, and the discussion during 
the workshop.


ICE adopts a light double-blind reviewing process, detailed below.


   Submission Guidelines

We invite two types of submissions:

 *

   *Research papers*, original contributions that will be published in
   the workshop post-proceedings. Research papers must not be
   simultaneously submitted to other conferences/workshops with
   refereed proceedings. Research papers should be 3-16 pages plus at
   most 2 pages of references. Short research papers are welcome; for
   example a 5 page short paper fits this category perfectly.

 *

   *Oral communications* will be presented at the workshop, but will
   not appear in the post-proceedings. This type of contribution
   includes e.g. previously published contributions, preliminary work,
   and position papers. There is no strict page limit for this kind of
   submission but papers of 1-5 pages would be appreciated. For
   example, a one page summary of previously published work is welcome
   in this category.

Authors of research papers must omit their names and institutions from 
the title page, they should refer to their other work in the third 
person and omit acknowledgements that could reveal their identity or 
affiliation. The purpose is to avoid any bias based on authors’ identity 
characteristics, such as gender, seniority, or nationality, in the 
review process. Our goal is to facilitate an unbiased approach to 
reviewing by supporting reviewers’ access to works that do not carry 
obvious references to the authors’ identities. As mentioned above, this 
is a lightweight double-blind process. Anonymization should not be a 
heavy burden for authors, and should not make papers weaker or more 
difficult to review. Advertising the paper on alternate forums (e.g., on 
a personal web-page, pre-print archive, email, talks, discussions with 
colleagues) is permitted, 

[TYPES/announce] FTfJP 2019: Call for Papers

[Toby Murray]

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

# CALL FOR PAPERS

21st Workshop on Formal Techniques for Java-like Programs (FTfJP 2019)
https://conf.researchr.org/home/FTfJP-2019/

Co-located with ECOOP 2019, July 15-19, Hammersmith, London

## About FTfJP 2019

Formal techniques can help analyse programs, precisely describe
program behaviour, and verify program properties. Modern programming
languages are interesting targets for formal techniques due to their
ubiquity and wide user base, stable and well-defined interfaces and
platforms, and powerful (but also complex) libraries. New languages
and applications in this space are continually arising, resulting in
new programming languages (PL) research challenges.

Work on formal techniques and tools and on the formal underpinnings of
programming languages themselves naturally complement each
other. FTfJP is an established workshop which has run annually since
1999 alongside ECOOP, with the goal of bringing together people
working in both fields.

The workshop has a broad PL theme; the most important criterion is
that submissions will generate interesting discussions within this
community. The term “Java-like” is somewhat historic and should be
interpreted broadly: FTfJP solicits and welcomes submission relating
to programming languages in general, beyond Java, C#, Scala, etc.

Example topics of interest include:

* Language design and semantics
* Type systems
* Concurrency and new application domains
* Specification and verification of program properties
* Program analysis (static or dynamic)
* Program Synthesis
* Security
* Pearls (programs or proofs)

FTfJP welcomes submissions on technical contributions, case studies,
experience reports, challenge proposals, and position papers.


## Submissions

Contributions are sought in two categories:

* Full Papers (6 pages, excluding references) present a technical
  contribution, case study, or detailed experience report. We welcome
  both complete and incomplete technical results; ongoing work is
  particularly welcome, provided it is substantial enough to stimulate
  interesting discussions.

* Short Papers (2 pages, excluding references) should advocate a
  promising research direction, or otherwise present a position likely
  to stimulate discussion at the workshop. We encourage
  e.g. established researchers to set out a personal vision, and
  beginning researchers to present a planned path to a PhD.

Both types of contributions will benefit from feedback received at the
workshop. Submissions will be peer reviewed, and will be evaluated
based on their clarity and their potential to generate interesting
discussions. The format of the workshop encourages interaction. FTfJP
is a forum in which a wide range of people share their expertise, from
experienced researchers to beginning PhD students.


## Formatting and Publication

Submissions should be in acmart/sigplan style, 10pt font. Formatting
requirements are detailed on the SIGPLAN Author Information page
(https://www.sigplan.org/Resources/Author).

Accepted papers will be published in the ACM Digital Library by
default, though authors will be able to opt out of this publication,
if desired. At least one author of an accepted paper must attend the
workshop to present the work and participate in the discussions.


## Important Dates

* Submission: 21 April (AoE)
* Notification: 2 June


## Program Committee

* Yuyan Bao (Pennsylvania State University)
* James Bornholt (University of Washington)
* Gidon Ernst (Co-Chair; LMU Munich)
* Marie Farrell (University of Liverpool)
* Carlo A. Furia (USI – Università della Svizzera Italiana)
* Marie-Christine Jakobs (TU Darmstadt)
* Wojciech Mostowski (Halmstad University)
* Toby Murray (Co-Chair; University of Melbourne)
* Christine Rizkallah (University of New South Wales and Data61)
* Martin Schäf (Amazon Web Services)

[TYPES/announce] Call for submissions for the 12th International Workshop on Numerical Software Verification

[Mohammad Al Khatib]

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

Call for Submissions

The 12th International Workshop on 
Numerical Software Verification co-located with CAV, 
13-14 July 2019, New York, NY, USA
http://nsv19.mpi-sws.org/  
>

Important Dates:

Submission deadline:  24 April 2019
Notification of acceptance:  22 May 2019
Final version: 29 May 2019
Workshop:13-14 July 2019

SCOPE:
—
Numerical computations are ubiquitous in digital systems: supervision, 
prediction, simulation and signal processing rely heavily on numerical calculus 
to achieve desired goals. Design and verification of numerical algorithms has a 
unique set of challenges, which set it apart from rest of software 
verification. To achieve the verification and validation of global properties, 
numerical techniques need to precisely represent local behaviors of each 
component. The implementation of numerical techniques on modern hardware adds 
another layer of approximation because of the use of finite representations of 
infinite precision numbers that usually lack basic arithmetic properties such 
as commutativity and associativity. Finally, the development and analysis of 
cyber-physical systems (CPS) which involve the interacting continuous and 
discrete components pose a further challenge. It is hence imperative to develop 
logical and mathematical techniques for the reasoning about programmability and 
reliability. The NSV workshop is dedicated to the development of such 
techniques.

Topics of interest:
The  scope of the workshop includes, but is not restricted to, the following 
topics:

— Quantitative and qualitative analysis of hybrid systems
— Models and abstraction techniques
— Optimal control of dynamical systems
— Parameter identification for hybrid systems
— Numerical optimization methods
— Hybrid systems verification 
— Applications of hybrid systems to systems biology
— Propagation of uncertainties, deterministic and probabilistic models
— Specifications of correctness for numerical programs
— Quality of finite precision implementations
— Numerical properties of control software
— Validation for space, avionics, automotive and real-time applications
— Validation for scientific computing programs

Submission Guidelines:

We solicit regular and short papers:

— Regular papers describe original contributions that are neither published nor 
under review for publication elsewhere. They must not exceed 15 pages in LNCS 
style 
>,
 plus possibly bibliography and appendices. However, program committee members 
are not required to read the appendices, thus papers must be intelligible 
without them.
— Short papers present tools, benchmarks, case-studies or are extended 
abstracts of ongoing research. They should not exceed 6 pages, excluding extra 
material as above.

Paper submission must be performed via the EasyChair system: 
https://easychair.org/conferences/?conf=nsv19 
 
>.

Submitted papers will be judged on the basis of significance, relevance, 
correctness, originality, and clarity. They should clearly identify what has 
been accomplished and why it is signifiant. All accepted papers will be 
published as Lecture Notes in Computer Science (LNCS) with Springer Verlag 
http://www.springer.com/lncs  
>.

Program Committee:

— Matthias Althoff (Technical University of Munich, Germany)
— Olivier Bouissou (Mathworks, France)
— Samuel Coogan (Georgia institute of Technology, USA)
— Sicun Gao (University of California San Diego, USA)
— Alberto Griggio (Fondazione Bruno Kessler, Italy)
— Ashutosh Gupta (IIT Bombay, India)
— Ichiro Hasuo (National Institute of Informatics, Japan)
— Susmit Jha (SRI International, USA)
— James Kapinski (Toyota, USA)
— Soonho Kong (Toyota Research Institute, USA)
— Jun Liu (University of Waterloo, Canada)
— Manuel Mazo (Delft University of Technology, Netherlands)
— Tatjana Petrov (University of Konstanz, Germany)
— Ruzica Piskac (Yale University, USA)
— Sylvie Putot (LIX, Ecole Polytechnique, France)
— Akshay Rajhans (Mathworks, USA)
— Stefan Ratschan (Academy of Sciences of the Czech Republic, Czech Republic)
— Matthias Rungger (ABB Corporate Research, Germany)
— Sadra Sadraddini (MIT, USA)
— Krishna Shankaranarayanan (IIT Bombay, India)
— Sadegh Soudjani (Newcastle University, UK)
— Laura Titolo (National Institute of Aerospace, USA)
— Ashutosh Trivedi 

[TYPES/announce] Formal Methods 2019 - Doctoral Symposium

[Renato Neves]

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

Formal Methods 2019 - Doctoral Symposium
Porto, Portugal, October 7th, 2019
http://formalmethods2019.inesctec.pt/?page_id=361

In conjunction with the

23rd International Symposium on Formal Methods  and 
3rd World Congress on Formal Methods

Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt


GOALS AND SCOPE

A Doctoral Symposium will be held on the 7th October in conjunction
with the 23rd International Symposium on Formal Methods and 3rd World
Congress on Formal Methods which will take place in Porto, Portugal,
from 7 to 11 October 2019. This symposium aims to provide a helpful
environment in which selected PhD students can present and discuss
their ongoing work, meet other students working on similar topics, and
receive helpful advice and feedback from a panel of researchers and
academics. If you are a PhD student researching any topic that falls
within the area of formal methods, you are warmly invited to submit a
Research Abstract for consideration to be selected as a participant.

There will be a best presentation award. Scholarships for attendance
will also be available.

RESEARCH ABSTRACTS

Research Abstracts should be no more than 4 pages in LNCS format.
Your Research Abstract should:

- Outline the problem being addressed, its relevance, the solution you
are working on, your research approach (such as your research method)
and your expected contribution.

- Contain a very brief literature survey indicating the most important
references related to:
(a) the problem being addressed and/or
(b) existing solutions as appropriate.

- Indicate your progress to date and the current stage of research.

The Research Abstract should be written by yourself as sole author,
but should include references to any papers you have already
published, including joint publications with your supervisor.


IMPORTANT DATES

Submission deadline: June 10, 2019 (AoE)*
Notification: July 5, 2019
Doctoral Symposium: October 7, 2019

HOW TO SUBMIT
Please upload a PDF version of your Research Abstract, including your
name, affiliation, and email address to:
https://easychair.org/conferences/?conf=dsfm19


DOCTORAL SYMPOSIUM WEBSITE
http://formalmethods2019.inesctec.pt/?page_id=361


ORGANISATION

CHAIRS:

Alexandra Silva, University College London
Antonia Lopes, University of Lisbon


PROGRAM COMMITTEE 

Alessandro Fantechi,  University of Florence
Ana Cavalcanti, University of York
André Platzer,  CMU
Carlo A. Furia,  USI - Università della Svizzera Italiana
Dalal Alrajeh,  Imperial College
Einar Broch Johnsen,  University of Oslo
Elvira Albert,  Universidad Complutense de Madrid
Jaco van de Pol,  University of Twente
Matteo Rossi,  Politecnico di Milano
Stefania Gnesi,  ISTI-CNR
Stephan Merz,  INRIA Nancy

[TYPES/announce] LSFA 2019 - Second Call for papers

[Amy Felty]

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

SECOND CALL FOR PAPERS
LSFA 2019
14th Workshop on Logical and Semantic Frameworks, with Applications
24-26 August 2019, Natal, Brazil
https://sites.google.com/view/lsfa2019

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for the formal specification of systems and programming languages,
supporting tool development and reasoning.

LSFA 2019 will be a satellite event of CADE-27, which will be held in
Natal, Brazil, 25-30 August, 2019
(https://www.mat.ufrn.br/cade-27/). Previous editions of LSFA took
place in Fortaleza (2018), Brasília (2017, collocated with
Tableaux+FroCoS+ITP), Porto (2016), Natal (2015), Brasília (2014), São
Paulo (2013), Rio de Janeiro (2012), Belo Horizonte (2011), Natal
(2010), Brasília (2009), Salvador (2008), Ouro Preto (2007), and Natal
(2006). See http://lsfa.cic.unb.br for more information.


TOPICS OF INTEREST

Topics of interest include, but are not limited to:

* Specification languages and meta-languages
* Formal semantics of languages and logical systems
* Logical frameworks
* Semantic frameworks
* Type theory
* Proof theory
* Automated deduction
* Implementation of logical or semantic frameworks
* Applications of logical or semantic frameworks
* Computational and logical properties of semantic frameworks
* Logical aspects of computational complexity
* Lambda and combinatory calculi
* Process calculi


SUBMISSION AND PUBLICATION

Contributions should be written in English and submitted in the form
of full papers with a maximum of 13 pages including references. Beyond
full regular papers, we encourage submissions such as proof pearls,
rough diamonds (preliminary results and work in progress), original
surveys, or overviews of research projects, where the focus is more on
elegance and dissemination than on novelty. Papers belonging to this
second category are expected to be short, that is, of a maximum of 6
pages including references. For both paper categories, additional
technical material can be provided in a clearly marked appendix which
will be read by reviewers at their discretion. Contributions must also
be unpublished and not submitted simultaneously for publication
elsewhere.

The papers should be prepared in LaTeX using the generic ENTCS package
(http://www.entcs.org/prelim.html). The submission should be in the
form of a PDF file uploaded to Easychair:

 https://easychair.org/conferences/?conf=lsfa2019

At least one of the authors should register for the workshop. All
accepted papers will be available online during the workshop; full
papers will be published at ENTCS, and short papers will be collected
in an informal volume. For the publication of the proceedings there
will be a cost to authors of USD 50 at registration time. Previous
LSFA special issues have been published in journals such as Log J IGPL
and TCS (see http://lsfa.cic.unb.br).


IMPORTANT DATES: 
* Submission deadline: April 19
* Notification to authors: May 24
* Proceedings version due: June 21
* LSFA 2019: August 24-26


INVITED SPEAKERS
* Pascal Fontaine, LORIA
* Achim Jung, University of Birmingham
* Vivek Nigam, Fortiss
* Elaine Pimentel, UFRN
* Giselle Reis, CMU-Qatar


PROGRAM COMMITTEE CO-CHAIRS
* Amy Felty, University of Ottawa (chair)
* João Marcos, UFRN (chair)

PROGRAM COMMITTEE
* Beniamino  Accattoli, INRIA Saclay
* Sandra Alves, University of Porto
* Mario Benevides, UFRJ
* Ana Bove, Chalmers
* Marco Cerami, UFBA
* Valeria de Paiva, Nuance Communications
* Maribel Fernandez, King's College London
* Francicleber Ferreira, UFC
* Erich Grädel, RWTH Aachen
* Edward Hermann Haeusler, PUC-Rio
* Oleg Kiselyov, Tohoku University
* Björn Lellmann, TU Wien
* Bruno Lopes, UFF
* Favio Miranda-Perea, UNAM
* Alberto Momigliano, University of Milano
* Daniele Nantes, UnB
* Pedro Quaresma, University of Coimbra
* Florian Rabe, LRI Paris
* Alexandre Rademaker, IBM-Brazil
* Umberto Rivieccio, UFRN
* Camilo Rocha, PUJ
* Matthieu Sozeau, IRIF
* Nora Szasz, Universidad ORT
* Ivan Varzinczak, Université d’Artois
* Daniel Ventura, UFG
* Anna Zamansky, University of Haifa

ORGANIZING COMMITTEE
* Carlos Olarte, UFRN

CONTACT
* lsfa2019 at easychair.org