[TYPES/announce] TYPES post-proceedings: call for papers

[Ugo de'Liguoro]

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


Call for papers - TYPES 2020 - Postproceedings
TYPES is a major forum for the presentation of research on all aspects 
of type theory and its applications. TYPES 2020 wasn’t held in Turin as 
planned because of the COVID-19 outbreak. Nonetheless the significant 
number of submissions and registrations testified the interest for TYPES 
in our community, motivating us to plan publishing post-proceedings. The 
post-proceedings volume will be published in LIPIcs, Leibniz 
International Proceedings in Informatics 
, an open-access series 
of conference proceedings.
Submission to this post-proceedings volume is open to everyone, also to 
those who did not submit a contribution to the conference.
We would like to invite all researchers that study and apply type 
systems to share their results. In particular, we welcome submissions on 
the following topics:


 *
   Foundations of type theory and constructive mathematics;
 *
   Homotopy type theory;
 *
   Applications of type theory;
 *
   Dependently typed programming;
 *
   Industrial uses of type theory technology;
 *
   Meta-theoretic studies of type systems;
 *
   Proof assistants and proof technology;
 *
   Automation in computer-assisted reasoning;
 *
   Links between type theory and functional programming;
 *
   Formalizing mathematics using type theory;
 *
   Type theory in linguistics.

Important dates:

 *
   Paper submission: 19 October 2020
 *
   Author notification: 18 January 2021
 *
   Final version:  15 February 2021
 *
   Publication (presumably): 29 March 2021

Details:

 *
   Papers have to be formatted with lipics.cls and adhere to the style
   requirements of LIPIcs
   .

 *
   The recommended length of a paper is 12-15 pages, excluding
   front-page(s) (authors, affiliation, keywords, abstract, ...),
   bibliography and an appendix of max 5 pages. Longer submissions will
   not be considered.
 *
   In case of questions, please contact one of the editors.

Editors:

 *
   Ugo de’Liguoro (Università di Torino)
 *
   Stefano Berardi (Università di Torino)
 *
   Thorsten Altenkirch (University of Nottingham)

--
Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy
phone +39 011 6706766 - fax: +39 011 751603

[TYPES/announce] extended deadline Working Formal Methods Symposium (FROM 2020)]

[motogna]

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

Working Formal Methods Symposium (FROM 2020)
September 4-6, 2020, Cluj-Napoca, Romania
http://www.cs.ubbcluj.ro/from2020/
-A Fully Virtual Conference-

##Submission deadline extended to 27 July, 2020 (AoE)##

##Important Dates
July 27, 2020 (AoE): deadline for paper submission
August 15, 2020: notification of acceptance
August 25, 2020: revised papers for Studia pre-proceedings
August 31, 2020: registration
September 4-6, 2020: virtual symposium days
September 14, 2020: revised papers for the Springer CCIS post-proceedings



##Overview

FROM aims to bring together researchers and practitioners who work
on formal methods by contributing new theoretical results, methods,
techniques, and frameworks, and/or make the formal methods to work
by creating or using software tools that apply theoretical contributions.
Formal methods emphasize the use of mathematical techniques and rigour
for developing software and hardware. They can be used to specify,
verify, and analyse systems at any stage in their life cycle:
requirements engineering, modeling, design, architecture,
implementation, testing, maintenance and evolution. This assumes on
one hand the development of adequate mathematical methods and
frameworks and on the other hand the development of tools that help
the user effectively apply these methods/frameworks.

FROM 2020 is organized by by the Faculty of Mathematics and Computer Science
at Babes-Bolyai University in Cluj-Napoca, the STAR-UBB Institute,
the Faculty of Computer Science of the Alexandru Ioan Cuza University of
Iasi,
ICUB (The Research Institute of the University of Bucharest),
and the Faculty of Mathematics and Computer Science of the University of
Bucharest.

Due to the current pandemic situation, FROM 2020 will happen as a fully
virtual conference.

FROM 2020 is the fourth event in a yearly workshop series.
The first edition was held in 2017 in Bucharest (
http://unibuc.ro/~conference/from2017),
the second edition was held in 2018 in Iasi (
http://fmse.info.uaic.ro/event/from-2018),
and the third edition was held in 2019 in Timisoara (
http://from2019.projects.uvt.ro/).
The second edition papers have been published in Fundamenta Informaticae,
vol.l 173, no.l 2-3,
while the third edition papers are under review process in
Journal of Logical and Algebraic Methods in Programming.

The format of the symposium encourages interaction. The program
includes invited lectures and regular contributions such that
a wide range of people share their expertise, from experienced researchers
to beginning PhD students.

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

##Topics of Interest

Areas and formalisms of interest include:
+ Category theory in computer science
+ Distributed systems and concurrency
+ Formal languages and automata theory
+ Formal modelling, verification and testing
+ Logic in computer science
+ Logical frameworks
+ Mathematical structures in computer science
+ Models of computation
+ Semantics of programming languages
+ Type systems

Methods of interest include:
+ Automated reasoning and model generation
+ Automated induction
+ Certified programs
+ Data-flow and control-flow analysis
+ Deductive verification
+ Mechanized proofs
+ Model checking
+ Proof mining
+ Symbolic computation
+ Term rewriting

Applications of interest include:
+ Computational logic
+ Computer mathematics
+ Knowledge representation, ontology reasoning, deductive databases
+ Program analysis
+ Verification and synthesis of software and hardware
+ Uncertainty reasoning and soft computing

##Submissions

We expect two categories of contributions:

+Full Papers (maximum 15 pages, excluding references) present a
technical contribution, case study, or detailed experience report.
They must not have been published or be concurrently considered for
publication elsewhere. Full papers will be judged on the basis of
originality,
contribution to the field, technical and presentation quality, and
relevance to the conference.

+Short Papers (maximum 6 pages, excluding references) should advocate a
promising research direction, describe work in progress or provide system
descriptions.
They need not be original. We encourage especially beginning researchers to
present a planned
path to a PhD. Short papers will be evaluated based on their clarity and
their potential to generate interesting
discussions.

Both types of contributions will benefit from feedback received at the
workshop. Submissions will be peer reviewed by at least three reviewers.
All submissions will be handled via the EasyChair Conference system at
https://easychair.org/conferences/?conf=from20
There is no need to indicate the paper category (long/short).

##Formatting and Publication

Papers should be written in English and should follow the formatting
requirements detailed at

[TYPES/announce] Postdoc position in Formal Methods, Programming Languages, and Systems, at the University of Salzburg, Computational Systems Group

[Ana Sokolova]

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

We are happy to announce an opening for a postdoc position within the
Computational Systems Group at the Department of Computer Sciences,
University of Salzburg,

The position is for up to 2.5 years with an initial contract for 1 year.
The ideal candidate is interested in one or more (ideally all) of the
areas: Formal Methods, Programming Languages, and Systems.

The position is associated with an Austria-wide project "Teaching Digital
Thinking" financed by the ministry of education related to teaching
computer science content to non-computer-science students and understanding
what computer science students could gain from other areas. We expect some
help from you regarding the project, but this is not supposed to be too
much work. We also expect you to engage in a reasonably small amount of
teaching. Other than that, we expect you to collaborate with us on research
in one of the mentioned areas. You would also have the freedom to conduct
independent research.

Please contact Christoph Kirsch (c...@cs.uni-salzburg.at) and/or Ana Sokolova
(a...@cs.uni-salzburg.at) for more information. The official opening (in
German) is available at:
https://www.uni-salzburg.at/fileadmin/multimedia/Serviceeinrichtung%20Personal/documents/A_0042_Postdoc_CoWi_II.pdf
.
The application deadline is August 5, 2020.

Best,
Ana and Christoph