[TYPES/announce] FSCD 2019 - First Call for Papers

[Sandra Alves]

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

(Apologies for multiple copies of this announcement. Please circulate.)

 CALL FOR PAPERS
 Fourth International Conference on
Formal Structures for Computation and Deduction (FSCD 2019)
24 -- 30 June 2019, Dortmund, Germany
  http://fscd-conference.org/

IMPORTANT DATES
---
All deadlines are midnight anywhere-on-earth (AoE); late submissions 
will not be considered. 
 Titles and Short Abstracts: 8 February 2019 
 Full Papers:   11 February 2019 
 Rebuttal period: 28 March -- 1 April 2019
 Authors Notification:  8 April 2019 
 Final version for proceedings:   22 April  2019 

FSCD covers all aspects of formal structures for computation and
deduction from theoretical foundations to applications.  Building on
two communities, RTA (Rewriting Techniques and Applications) and TLCA
(Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics,
models of computation (e.g. quantum computing, probabilistic
computing, homotopy type theory), semantics and verification in new
challenging areas (e.g. blockchain protocols or deep learning
algorithms).

Suggested, but not exclusive, list of topics for submission are:
1. Calculi: 
   Rewriting systems, Lambda calculus, Concurrent calculi, Logics,
   Type theory, Homotopy type theory, Logical frameworks, Quantum
   calculi
2. Methods in Computation and Deduction:
   Type systems; Induction and coinduction; Matching, unification,
   completion and orderings; Strategies; Tree automata; Model
   checking; Proof search and theorem proving; Constraint solving and
   decision procedures
3. Semantics:
   Operational semantics; Abstract machines; Game Semantics; Domain
   theory; Categorical models; Quantitative models
4. Algorithmic Analysis and Transformations of Formal Systems:
   Type inference and type checking; Abstract interpretation;
   Complexity analysis and implicit computational complexity; Checking
   termination, confluence, derivational complexity and related
   properties; Symbolic computation
5. Tools and Applications:
   Programming and proof environments; Verification tools; Proof
   assistants and interactive theorem provers; Applications in
   industry (e.g. design and verification of critical systems);
   Applications in other sciences (e.g. biology)
6. Semantics and verification in new challenging areas:
   Certification; Security; Blockchain protocols; Data bases; Deep
   learning and machine learning algorithms; Planning


PUBLICATION
---
The proceedings will be published as an electronic volume in the
Leibniz International Proceedings in Informatics (LIPIcs) of Schloss
Dagstuhl. All LIPIcs proceedings are open access.

SUBMISSION GUIDELINES 
-
Submissions can be made in two categories.  Regular research papers
are limited to 15 pages (including references, with the possibility to
add an annex for technical details, e.g.\ proofs) and must present
original research which is unpublished and not submitted
elsewhere. System descriptions are limited to 15 pages (including
references) and must present new software tools in which FSCD topics
play an important role, or significantly new versions of such
tools. Submissions must be formatted using the LIPIcs style files and
submitted via EasyChair.  Complete instructions on submitting a paper
can be found on the conference web site:

   http://fscdconference.org/editions/fscd-2019/

BEST PAPER AWARD BY JUNIOR RESEARCHERS 
--
The program committee will consider declaring this award to a paper in
which at least one author is a junior researcher, i.e. either a
student or whose PhD award date is less than three years from the
first day of the meeting. Other authors should declare to the PC Chair
that at least 50% of contribution is made by the junior
researcher(s).

SPECIAL ISSUE 
-
Authors of selected papers will be invited to submit an extended
version for a special issue of Logical Methods in Computer Science.


PROGRAM COMMITTEE
-
H. Geuvers, Radboud U. Nijmegen (Chair)
Z. Ariola, U. of Oregon
M. Ayala Rincón, U. of Brasilia
A. Bauer, U. of Ljubljana
F. Bonchi, U. of Pisa
S. Broda, U. of Porto
U. Dal Lago, U. of Bologna & Inria
U. De'Liguoro, U. of Torino
D. Kapur, U. of New Mexico
P. Dybjer, Chalmers U. of Technology
M. Fernandez, King's College London
J. Giesl, RWTH Aachen
N. Hirokawa, JAIST
S. Lucas, U. Politecnica de Valencia
A. Middeldorp, U. of Innsbruck
F. Pfenning, Carnegie Mellon U.
B. Pientka, McGill U.
J. van de Pol, U. of Twente
F. van Raamsdonk, VU Amsterdam 
C. Schürmann, ITU Copenhagen
P. Severi, U. of Leicester
A. Silva, 

[TYPES/announce] Postdoc position on side-channel analysis and avoidance in Hardware (Chalmers University of Technology)

[Alejandro Russo]

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

-
Postdoctoral position (up to two years) on side-channel analysis and 
avoidance

in Hardware at Chalmers University of Technology, Sweden
-

* Important dates:

  October  30 - Deadline for applications
  November 5  - Tentative date for interviews

* Expected starting date: January 2019.

For details, including employment conditions and how to apply, see:



This position is funded by a grant from Intel Corp and will get 
supervised by
Prof. Carl-Johan Seger 
() and
Prof. Alejandro Russo (). Prof. 
Seger has,
after 21 years at Intel corporation, a wealth of experience in verifying 
Intel's

microprocessors and is intimately familiar with the constraints and scale of
modern processors. He also has extensive experience in building formal
verification tools, and symbolic simulators in particular, for modern
microprocessors. Prof. Russo has vast expertise on protecting privacy in 
modern
software systems and his work has impacted different research 
communities and
appeared in prestigious conferences on programming languages, operating 
systems,

and security.

The project is dedicated to contribute and further research on (i) utilizing
some notion of dependent types to verify security and the 
presence/absence of
side-channels in multi-cycle circuits, (ii) apply symbolic execution 
techniques

to boost accuracy when needed, (iii) implement a tool that combines these
techniques, and (iv) perform evaluations on state-of-the-art public domain
microprocessor designs.

The position is to be carried out within both the Information Security 
(iSec)
and Functional Programming (FP) research groups. Both groups combine 
world-class
researchers in language-based security and functional programming. In 
addition,

there is a strong type-theory research group that can be used as a source of
knowledge in dependent types. Competitive candidates will have a strong 
computer
science background, both theoretical and practical, with emphasis on 
programming

languages techniques; expertise in some of the areas of interests for this
position; a passion for high-quality software research and development; and
excellent analytical and communication skills. Prior publications are
meritorious. English is the working language for research in Chalmers's
Department of Computer Science and Engineering.

For a popular science description of the project, please refer to the 
following

link: https://www.chalmers.se/en/departments/cse/news/Pages/Intel.aspx

[TYPES/announce] Call for papers: Second Symposium on Compositional Structures (SYCO 2)

[Pawel Sobocinski]

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

SECOND SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 2)

University of Strathclyde, Glasgow
  17-18 December, 2018

 http://events.cs.bham.ac.uk/syco/2/

The Symposium on Compositional Structures (SYCO) is an
interdisciplinary series of meetings aiming to support the growing
community of researchers interested in the phenomenon of
compositionality, from both applied and abstract perspectives, and in
particular where category theory serves as a unifying common language.
The first SYCO was held at the School of Computer Science, University
of Birmingham, 20-21 September, 2018, attracting 70 participants.

We welcome submissions from researchers across computer science,
mathematics, physics, philosophy, and beyond, with the aim of
fostering friendly discussion, disseminating new ideas, and spreading
knowledge between fields. Submission is encouraged for both mature
research and work in progress, and by both established academics and
junior researchers, including students.

Submission is easy, with no format requirements or page restrictions.
The meeting does not have proceedings, so work can be submitted even
if it has been submitted or published elsewhere. Think
creatively---you could submit a recent paper, or notes on work in
progress, or even a recent Masters or PhD thesis.

While no list of topics could be exhaustive, SYCO welcomes submissions
with a compositional focus related to any of the following areas, in
particular from the perspective of category theory:

- logical methods in computer science, including classical and
quantum programming, type theory, concurrency, natural language
processing and machine learning;

- graphical calculi, including string diagrams, Petri nets and
reaction networks;

- languages and frameworks, including process algebras, proof nets,
type theory and game semantics;

- abstract algebra and pure category theory, including monoidal
category theory, higher category theory, operads, polygraphs, and
relationships to homotopy theory;

- quantum algebra, including quantum computation and representation theory;

- tools and techniques, including rewriting, formal proofs and proof
assistants, and game theory;

- industrial applications, including case studies and real-world
problem descriptions.

This new series aims to bring together the communities behind many
previous successful events which have taken place over the last
decade, including "Categories, Logic and Physics", "Categories, Logic
and Physics (Scotland)", "Higher-Dimensional Rewriting and
Applications", "String Diagrams in Computation, Logic and Physics",
"Applied Category Theory", "Simons Workshop on Compositionality", and
the "Peripatetic Seminar in Sheaves and Logic".

SYCO will be a regular fixture in the academic calendar, running
regularly throughout the year, and becoming over time a recognized
venue for presentation and discussion of results in an informal and
friendly atmosphere. To help create this community, and to avoid the
need to make difficult choices between strong submissions, in the
event that more good-quality submissions are received than can be
accommodated in the timetable, the programme committee may choose to
*defer* some submissions to a future meeting, rather than reject them.
This would be done based largely on submission order, giving an
incentive for early submission, but would also take into account other
requirements, such as ensuring a broad scientific programme. Deferred
submissions can be re-submitted to any future SYCO meeting, where they
would not need peer review, and where they would be prioritised for
inclusion in the programme. This will allow us to ensure that speakers
have enough time to present their ideas, without creating an
unnecessarily competitive reviewing process. Meetings will be held
sufficiently frequently to avoid a backlog of deferred papers.

# INVITED SPEAKERS

TBA

# IMPORTANT DATES

All times are anywhere-on-earth.

- Submission deadline: Friday 16 November 2018
- Author notification: Friday 23 November 2018
- Registration deadline: Friday 7 December 2018
- Symposium dates: Monday 17 December and Tuesday 18 December 2018

# SUBMISSIONS

Submission is by EasyChair, via the following link:

 - https://easychair.org/conferences/?conf=syco2

Submissions should present research results in sufficient detail to
allow them to be properly considered by members of the programme
committee, who will assess papers with regards to significance,
clarity, correctness, and scope. We encourage the submission of work
in progress, as well as mature results. There are no proceedings, so
work can be submitted even if it has been previously published, or has
been submitted for consideration elsewhere. There is no specific
formatting requirement, and no page limit, although for long
submissions authors should understand that reviewers may not be able
to read the entire 

[TYPES/announce] FM'19: Call for Workshop & Tutorial Proposals

[Renato Neves]

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

 FM'19 - 3rd WORLD CONGRESS ON FORMAL METHODS
 PORTO, PORTUGAL, OCTOBER 7-11, 2019
formalmethods2019.inesctec.pt

  CALL FOR WORKSHOP & TUTORIAL PROPOSALS  ---

-
Deadline for workshop & tutorial proposals: November 16, 2018
Notification of decision on workshops and tutorials: November 23, 2018
-

1 ABOUT FM'19
=

FM 2019 is the 23rd international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is
to stimulate the use of, and research on, formal methods for software
development. Every ten years the symposium is organised as a World
Congress. Twenty years after FM’99 in Toulouse, and ten years after
FM’09 in Eindhoven, FM’19 is the 3rd World Congress on Formal
Methods. Thus, FM’19 will be both an occasion to celebrate and a
platform for enthusiastic researchers and practitioners from a
diversity of backgrounds to exchange their ideas and share their
experience.


2 PROPOSALS
===

For this major event, we are now inviting proposals for workshops,
tutorials, or other satellite events that will complement the main FM
Symposium and co-located conferences.

The purpose of the satellite events is to provide an informal setting
for participants to discuss technical issues, exchange research ideas,
and to discuss and/or demonstrate applications. These may be driven by
fundamental academic interests or by needs from specific application
domains. We encourage a diversity of events relating to different
varieties of formal models. Satellite events will take place on 7-8
October 2019. Satellite events would typically run for 1/2 or 1 day,
but 2 day events will also be considered. The FM'19 organising
committee aim to support one invited speaker per workshop.


3 SUBMISSION INFORMATION


Researchers and practitioners wishing to organise a workshop or
tutorial are invited to submit proposals by e-mail to the Workshops &
Tutorials Chairs,

  Nelma Moreira (n...@dcc.fc.up.pt) and Emil Sekerinski (e...@mcmaster.ca).

A proposal should not exceed three pages and should include the
following information:

* Title and brief technical description of the event, specifying the
  goals and the technical issues that will be its focus.

* The names and contact information (web page, email address) of the
  organisers. In case of a workshop those will be the Programme
  Committee (PC) chairs and in this case a prospective list of
  international PC members is welcome.

* Pointers to information about past editions of the event, if
  applicable.  In case of a workshop, if it has taken place before;
  how often it has been colocated with FM? Which (other) conference(s)
  has the workshop been colocated with so far? Number of participants
  in the last instalment.

* A discussion of the proposed format and agenda (for example paper
  presentations, tutorials, demo sessions, etc).

* The proposed duration: half or one day. Exceptionally, two days
  events may be considered.

* Potential invited speaker(s).

* Procedures for selecting papers and participants and plans for the
  publication of proceedings, if any.

* Tentative schedule for paper submission and notification of
  acceptance.

The organisers of satellite events are expected to create and maintain
a website for the event; handle paper selection, reviewing and
acceptance; draw up a programme of talks; advertise their event though
specialist mailing lists; prepare the informal pre-proceedings (if
applicable) in a timely fashion; and arrange any post-proceedings.


4 IMPORTANT DATES
=

Submission of proposals: November 16, 2018
Notification of success of proposals: November 23, 2018
Notification of paper acceptance (if applicable): June 14, 2019 (limit date)
FM'19 World Congress: October 7-11, 2019
Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space
is an issue)


Best Wishes,
Nelma Moreira & Emil Sekerinski