[TYPES/announce] PhD and postdoc positions in security and privacy at Chalmers University of Technology

[Andrei Sabelfeld]

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

Chalmers University of Technology invites applications for PhD and
postdoc positions in security and privacy. The PhD students and
postdoc will join a high-profile group of researchers on security and
privacy, the Chalmers Security Lab
https://urldefense.com/v3/__https://www.cse.chalmers.se/research/group/security/__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebPoGCPaNw$
  Software is often
the root cause of vulnerabilities in modern computing systems.  By
focusing on securing the software, we target principled security
mechanisms that provide robust protection against large classes of
attacks. Typed-based approaches to application security are of
our particular interest.

The PhD students and postdoc will join one of our ambitious projects:

-WebSec: Securing Web-driven Systems
https://urldefense.com/v3/__https://www.cse.chalmers.se/research/group/security/websec/__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebNtA2x_8A$
  conducted
jointly with Uppsala University, and funded by the Swedish Foundation
for Strategic Research (SSF). Promotional video of Chalmers research
on securing web applications 
https://urldefense.com/v3/__http://vimeo.com/82206652__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebOBZNUYnQ$
 

-WASP NEST CyberSecIT, a framework project conducted jointly with KTH
and Umeå University to explore the security and privacy of IoT
applications, with the emphasis on software. NESTs are flagship
projects of the Wallenberg AI, Autonomous Systems and Software
Program (WASP 
https://urldefense.com/v3/__https://wasp-sweden.org/__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebPQvqS7WQ$
  ). The PhD student will thus
enjoy the benefits of the WASP graduate school.

-VR NewGen project with Uppsala University on applications of
programming language-based, SMT solving, and symbolic execution
techniques to discover vulnerabilities and secure software systems by
construction.

The PhD students and postdoc in systems and languages for security and
privacy will be supervised by Prof. Andrei Sabelfeld
https://urldefense.com/v3/__https://www.cse.chalmers.se/*andrei/__;fg!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebOCT6_FYA$
  (recipient of a number of awards
by ERC, SSF, Google, and Facebook as well as the Chalmers PhD
Supervisor of the Year award).

The PhD student in usable privacy and security will be supervised by
Prof. Simone Fischer-Hübner 
https://urldefense.com/v3/__https://simone.hotell.kau.se/__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebN2yvc9Lw$
  (recipient
of a number of awards by EU H2020, SSF, Google), Professor at Karlstad
University and Affiliated Professor at Chalmers.

The PhD student positions are limited to five years and normally
include 20 per cent departmental work, mostly teaching duties. Salary
for the position is as specified in Chalmers' general agreement for
PhD student positions, currently starting from 31,000 SEK per month
before taxes.

This postdoc position is a full-time temporary employment for two
years, with a possibility of a one-year extension. Salary for the
position is in line with Chalmers' general agreement for postdoc
positions, around 40,000 SEK per month before taxes.

The Department of Computer Science and Engineering
https://urldefense.com/v3/__https://www.chalmers.se/en/departments/cse/Pages/default.aspx__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebNt1K3jHQ$
  is a
joint department at Chalmers University of Technology and the
University of Gothenburg, with activities on two campuses in the city
of Gothenburg. The department has around 270 employees from over 30
countries. Our research has a wide span, from theoretical foundations
to applied systems development. We provide high-quality education at
Bachelor's, Master's, and graduate levels, offering over 120 courses
each year. We also have extensive national and international
collaborations with academia, industry and society.

Chalmers offers a cultivating and inspiring working environment in the
coastal city of Gothenburg 
https://urldefense.com/v3/__https://www.goteborg.com/en/__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebOHTc8lTA$
  . Read more
about working at Chalmers
https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Pages/default.aspx__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebOIQ32oMg$
 
and our benefits
https://urldefense.com/v3/__https://www.chalmers.se/en/about-chalmers/Working-at-Chalmers/Benefits/Pages/default.aspx__;!!IBzWLUs!GWrdd6F0s4koNsnAimDShJvSjlO0Gf6kzwfbqDml0c4AEYU6LpFzw_bEmkXyqtP5iKpYebO0gqDuJQ$
 
for employees. Chalmers aims to 

[TYPES/announce] CONCUR 2022: 2nd CFP

[Sławomir Lasota]

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

CONCUR 2022: second call for papers
==

September 13-16, 2022 at the University of Warsaw, Poland

Website: 
https://urldefense.com/v3/__https://concur2022.mimuw.edu.pl/__;!!IBzWLUs!HJMHfwWgXSVqU2M1mn50KWh5KDzM4y67WDdl-S7yTclrrN717h117Cv6tiYgyk6NVy4rd-JYoM4uRw$
 

Co-located with QEST, FORMATS, FMICS (under the joint name CONFEST)

The purpose of CONCUR 2022, the 33rd International Conference on
Concurrency Theory, is to bring together researchers, developers, and
students in order to advance the theory of concurrency, and promote its
applications.

IMPORTANT NOTE CONCERNING THE COVID-19 PANDEMIC

CONCUR 2022 is planned as a physical, in-person event, with certain support
for remote presence, both for speakers and for other participants who are
unable or unwilling to come. Depending on the pandemic situation, we may
have to make a decision whether to cancel the physical component of the
event or not. This should be definitely decided by the end of June 2022.

INVITED SPEAKERS

Wojciech Czerwiński, University of Warsaw, Poland
Philippa Gardner, Imperial College London, UK
Rupak Majumdar, Max Planck Institute for Software Systems, Germany
Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico, Mexico

CO-LOCATED CONFERENCES

19th International Conference on Quantitative Evaluation of SysTems (QEST
2022)
20th International Conference on Formal Modeling and Analysis of Timed
Systems (FORMATS 2022)
27th International Conference on Formal Methods for Industrial Critical
Systems (FMICS 2022)

Website: 
https://urldefense.com/v3/__https://concur2022.mimuw.edu.pl/__;!!IBzWLUs!HJMHfwWgXSVqU2M1mn50KWh5KDzM4y67WDdl-S7yTclrrN717h117Cv6tiYgyk6NVy4rd-JYoM4uRw$
 

IMPORTANT DATES (all dates are AoE)

Abstract Submission:April 18, 2022
Paper Submission:April 25, 2022
Author Response: June 6-8, 2022
Notification:June 25, 2022
Camera Ready: July 9, 2022
Conference(s):  September 13-16, 2022
Workshops:   September 12 and 17, 2022

PAPER SUBMISSION

CONCUR 2022 solicits high quality papers reporting research results and/or
experience related to the topics mentioned below. All papers must be
original, unpublished, and not submitted for publication elsewhere.

Each paper will undergo a thorough review process. The paper may be
supplemented with a clearly marked appendix, which will be reviewed at the
discretion of the program committee.

The CONCUR 2022 proceedings will be published by LIPIcs.

Papers must be submitted electronically as PDF files via EasyChair:
https://urldefense.com/v3/__https://easychair.org/conferences?conf=concur2022__;!!IBzWLUs!HJMHfwWgXSVqU2M1mn50KWh5KDzM4y67WDdl-S7yTclrrN717h117Cv6tiYgyk6NVy4rd-LSFB6uyQ$
 

Papers must not exceed 14 pages (excluding references and clearly marked
appendices) using the LIPIcs style.

TOPICS

Submissions are solicited in semantics, logics, verification and analysis
of concurrent systems. The principal topics include (but are not limited
to):

* Basic models of concurrency such as abstract machines, domain-theoretic
models, game-theoretic models, process algebras, graph transformation
systems, Petri nets, hybrid systems, mobile and collaborative systems,
probabilistic systems, real-time systems, biology-inspired systems, and
synchronous systems;

* Logics for concurrency such as modal logics, probabilistic and stochastic
logics, temporal logics, and resource logics;


* Verification and analysis techniques for concurrent systems such as
abstract interpretation, atomicity checking, model checking, race
detection, pre-order and equivalence checking, run-time verification,
state-space exploration, static analysis, synthesis, testing, theorem
proving, type systems, and security analysis;

* Distributed algorithms and data structures: design, analysis, complexity,
correctness, fault tolerance, reliability, availability, consistency,
self-organization, self-stabilization, protocols;

* Theoretical foundations of architectures, execution environments, and
software development for concurrent systems such as geo-replicated systems,
communication networks, multiprocessor and multi-core architectures, shared
and transactional memory, resource management and awareness, compilers and
tools for concurrent programming, programming models such as
component-based, object- and service-oriented.

AWARDS

In 2022, CONCUR Test-of-Time and best paper awards will be given for the
third time. The winners will be announced at the conference.

ORGANIZATION COMMITTEE

Lorenzo Clemente (workshop chair)
Piotrek Hofman
Bartek Klin
Sławek Lasota
Radek Piórkowski (webmaster)

PROGRAM COMMITTEE

C. Aiswarya, Chennai Mathematical Institute, India
S. Akshay, IIT Bombay, India
Shaull Almagor, Technion, Israel
Nathalie Bertrand, INRIA, France
Ilaria Castellani, INRIA, France
Constantin Enea, IRIF, 

[TYPES/announce] postdoc position, University of Warsaw

[Sławomir Lasota]

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

Postdoc position in automata theory, University of Warsaw

**
- Application deadline: March 31, 2022
- Starting date: As soon as possible
- Salary: 27.000 PLN per annum (very competitive in Poland)
- Duration: one year, possible extension to another year
- Project: "Data-enriched models of computation" funded by NCN
- Principal investigator: Prof. Sławomir Lasota  
(https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!BtApIM-cXc3QIz-uFVhZyCjZ2BOhP7hAkMH_R2QVfeCgW11UeT8lSuTsD640A1V5VM0Mc321-Gz1Ew$
 )
- Contact: s...@mimuw.edu.pl
**

The project aims at advancing theoretical foundations at the borderline
between automata theory, concurrency and verification. We promise, except
for very competitive salary, a vibrant working atmosphere in the automata
group at the University of Warsaw, and exciting and challenging research
problems.

The ideal candidate is expected to have:

• PhD degree or equivalent in computer science or math
• Solid background in formal methods and automata theory
• Significant publication record
• Strong motivation for research work in foundations of computer science
• Advanced skills in written and spoken English.

To apply, please send your curriculum vitae to s...@mimuw.edu.pl.

[TYPES/announce] PhD position, University of Warsaw

[Sławomir Lasota]

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

PhD position in concurrency theory, University of Warsaw

**
Fully-Funded 4-year Ph.D. position in automata theory
Department of Mathematics, Informatics and Mechanics, University of Warsaw
Project: "Frontiers of automatic analysis of concurrent systems" funded by
NCN
Principal investigator: Prof. Sławomir Lasota  
(https://urldefense.com/v3/__http://www.mimuw.edu.pl/*sl__;fg!!IBzWLUs!GLJkhlvh4of-oECqW9D3qenJPM0LZpSxW-R36qAtkltVcopJeR7gyE0mX0ECMYjH--NPA_4sVndI9g$
 )
Contact: s...@mimuw.edu.pl
Start: Oct 1, 2022 (or earlier)
Application deadline: April 15, 2022
**

We offer a fully-funded PhD position within the NCN grant "Frontiers of
automatic analysis
of concurrent systems". The project aims at advancing theoretical
foundations at the
borderline between automata theory, concurrency and verification, but
anticipates
also development of prototype analysis tools. A successful candidate is
expected
to enroll into the PhD program in the University of Warsaw.

We offer:

• very competitive salary
• vibrant working atmosphere in the automata group at Warsaw
• exciting and challenging research problems
• scientific collaborations worldwide.

The successful candidate is expected to have:

• Master’s degree or equivalent in computer science or math
• solid background in formal methods and automata theory
• strong motivation for research work in foundations of computer science
• advanced skills in written and spoken English.

[TYPES/announce] ACKERMANN AWARD 2022: CALL FOR NOMINATIONS

[EACSL Mail-Account]

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

ACKERMANN AWARD 2022 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR
LOGIC IN COMPUTER SCIENCE
 CALL FOR NOMINATIONS

Nominations are now invited for the 2022 Ackermann Award.
PhD dissertations in topics specified by the CSL and LICS
conferences, which were formally accepted as PhD theses at a
university or equivalent institution between 1 January 2020 and 31 December 2021
are eligible for nomination for the award.

The deadline for submission is 1 July 2022. Submission details follow below.

Nominations can be submitted from 1 March 2022 and should be sent
to the chair of the Jury, Thomas Schwentick, by e-mail: 
thomas.schwent...@tu-dortmund.de

*** The Award

The 2022 Ackermann award will be presented to the recipient(s) at CSL
2023, the annual conference of the EACSL.

The award consists of

* a certificate,
* an invitation to present the thesis at the CSL conference,
* the publication of the laudatio in the CSL proceedings,
* an invitation to the winner to publish the thesis in the FoLLI subseries 
of Springer LNCS, and
* financial support to attend the conference.

The jury is entitled to give the award to more (or less) than one
dissertation in a year.

*** The Jury

The jury consists of:

  * Christel Baier (TU Dresden);
  * Maribel Fernandez (King’s College London); 
  * Jean Goubault-Larrecq (ENS Paris-Saclay);
  * Delia Kesner (IRIF, U Paris);
  * Slawomir Lasota (U Warsaw);
  * Prakash Panangaden (McGill University);
  * Simona Ronchi Della Rocca (University of Torino), the vice-president of 
EACSL;
  * Thomas Schwentick (TU Dortmund), the president of EACSL;
  * Alexandra Silva, (University College London), ACM SigLog representative;
  * James Worrell (U Oxford).
  
*** How to submit

The candidate or his/her supervisor should submit

   1. the thesis (ps or pdf file);
   2. a detailed description (not longer than 10 pages) of the thesis
in ENGLISH (ps or pdf file); it is recommended to not squeeze as much
   material as possible into these (at most) 10 pages, but rather to use them
   for a gentle introduction and overview, stressing the novel results obtained
in the thesis and their impact;
   3. a supporting letter by the PhD advisor and two supporting letters
by other senior researchers (in English);
supporting letters can also be sent directly to Thomas Schwentick
(thomas.schwent...@tu-dortmund.de);
   4. a short CV of the candidate;
   5. a copy of the document asserting that the thesis was accepted as
a PhD thesis at a recognized University (or equivalent institution) and
that the candidate has received his/her PhD within the specified period.

The submission should be sent by e-mail as attachments to the chairman
of the jury, Thomas Schwentick:
thomas.schwent...@tu-dortmund.de

With the following subject line and text:

* Subject: Ackermann Award 22 Submission
* Text: Name of candidate, list of attachments

Submission can be sent via several e-mail messages. If this is the case,
please indicate it in the text.

[TYPES/announce] [TFP'22] final call for papers: Trends in Functional Programming 2022 (deadline March 7 2022)

[Peter Achten]

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

 TFP 2022 =
== Final Call For Papers ==
==  registration opened  ==
===

23rd Symposium on Trends in Functional Programming
17-18 March, 2022
Online event
https://urldefense.com/v3/__https://trendsfp.github.io/index.html__;!!IBzWLUs!DgNZ3EhwISPQQu17oGf-e1_3meQWiANiKjiiSXvWekCo5tXl_j9_rpLtvMk4fklnEF93pQlQ3Uxzmw$ 


Due the pandemic, we have had to make TFP virtual this year. As a
result, we've decided to push back the deadlines and conference date
by a few weeks. In particular, the pre-symposium deadline for
submitting the first version of your paper is now just after the ICFP
deadline.


== Important Dates ==

Submission deadline for draft papers    Monday 7th March, 2022
Notification for draft submissions  Friday 11th March, 2022
Symposium dates Thursday 17th - 
Friday 18th March, 2022
Submission deadline for post-symposium reviewing    Wednesday 6th April, 
2022

Notification for post-symposium submissions Friday 27th May, 2022

The Symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming, taking a broad view of current and future
trends in the area. It aspires to be a lively environment for
presenting the latest research results, and other contributions.



== Scope ==

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore
identify the following five article categories. High-quality articles
are solicited in any of these categories:

* Research Articles:
   Leading-edge, previously unpublished research work
* Position Articles:
  On what new trends should or should not be
* Project Articles:
   Descriptions of recently started new projects
* Evaluation Articles:
   What lessons can be drawn from a finished project
* Overview Articles:
   Summarizing work with respect to a trendy subject

Articles must be original and not simultaneously submitted for
publication to any other forum. They may consider any aspect of
functional programming: theoretical, implementation-oriented, or
experience-oriented. Applications of functional programming techniques
to other languages are also within the scope of the symposium.

Topics suitable for the symposium include, but are not limited to:

* Functional programming and multicore/manycore computing
* Functional programming in the cloud
* High performance functional computing
* Extra-functional (behavioural) properties of functional programs
* Dependently typed functional programming
* Validation and verification of functional programs
* Debugging and profiling for functional languages
* Functional programming in different application areas:
   security, mobility, telecommunications applications, embedded
   systems, global computing, grids, etc.
* Interoperability with imperative programming languages
* Novel memory management techniques
* Program analysis and transformation techniques
* Empirical performance studies
* Abstract/virtual machines and compilers for functional languages
* (Embedded) domain specific languages
* New implementation strategies
* Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of
TFP, please contact the TFP 2022 program chairs, Wouter Swierstra and
Nicolas Wu.


== Best Paper Awards ==

To reward excellent contributions, TFP awards a prize for the best
paper accepted for the formal proceedings.

TFP traditionally pays special attention to research students,
acknowledging that students are almost by definition part of new
subject trends. A student paper is one for which the authors state
that the paper is mainly the work of students, the students are listed
as first authors, and a student would present the paper. A prize for
the best student paper is awarded each year.

In both cases, it is the PC of TFP that awards the prize. In case the
best paper happens to be a student paper, that paper will then receive
both prizes.


== Instructions to Author ==

Papers must be submitted at:

   https://urldefense.com/v3/__https://easychair.org/conferences/?conf=tfp22__;!!IBzWLUs!DgNZ3EhwISPQQu17oGf-e1_3meQWiANiKjiiSXvWekCo5tXl_j9_rpLtvMk4fklnEF93pQku4B9B6w$ 


Authors of papers have the choice of having their contributions
formally reviewed either before or after the Symposium.


== Post-symposium formal review process ==

Draft papers will receive minimal reviews and notification of
acceptance for presentation at the symposium. Authors of draft papers
will be invited to submit revised papers based on the feedback received
at the symposium. A post-symposium refereeing process will then select
a subset of these articles for formal 

[TYPES/announce] FORMATS'22: second call for papers

[Gethin Norman]

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

FORMATS 2022: SECOND CALL FOR PAPERS

20th International Conference on Formal Modeling and Analysis of Timed Systems

https://urldefense.com/v3/__https://conferences.ncl.ac.uk/formats2022/__;!!IBzWLUs!DJld8e95dfdTsVNYyRHOXFKyT2xQuqDI9rK_SR4U6xpyabrMJCfsFJnygYCpAXYHOMaDYRL9YGS2SA$
 

12-17 September 2022, Warsaw, Poland
co-located with CONCUR, FMICS and QEST as part of CONFEST 2022

SCOPE & TOPICS

FORMATS (International Conference on Formal Modeling and Analysis of Timed 
Systems) is an annual conference which aims to promote the study of fundamental 
and practical aspects of timed systems, and to bring together researchers from 
different disciplines that share interests in the modelling, design and 
analysis of timed computational systems. The conference aims to attract 
researchers interested in real-time issues in hardware design, performance 
analysis, real-time software, scheduling, semantics and verification of 
real-timed, hybrid and probabilistic systems.

Typical topics include (but are not limited to):

• Foundations and Semantics: Theoretical foundations of timed systems, 
languages and models (e.g., timed automata, timed Petri nets, hybrid automata, 
timed process algebra, max-plus algebra, probabilistic models).
• Methods and Tools: Techniques, algorithms, data structures, and software 
tools for analyzing timed systems and resolving temporal constraints (e.g., 
scheduling, worst-case execution time analysis,optimization, model checking, 
testing, constraint solving).
• Applications: Adaptation and specialization of timing technology in 
application domains in which timing plays an important role (e.g., real-time 
software, hardware circuits, scheduling in manufacturing and telecommunication, 
robotics).

New for this year, FORMATS will incorporate a special track on:

• Learning-based and data-driven systems: We particularly encourage papers that 
exploit synergies between the formal analysis of timed systems and data-driven 
techniques (such as reinforcement learning or deep learning), or which target 
application domains where learning is important (such as robotics or autonomous 
systems).

In 2022, FORMATS celebrates its 20th anniversary and we plan to commemorate 
this with a special session at the conference.

INVITED SPEAKERS

FORMATS 2022 will feature two invited speakers:

• Thao Dang (CNRS & VERIMAG, Université Grenoble-Alpes)
• Joël Ouaknine (Max Planck Institute for Software Systems)

PAPER SUBMISSION

FORMATS 2022 solicits high-quality papers reporting research results, 
experience reports and/or tools related to the topics mentioned above. 
Submitted papers must contain original, unpublished contributions, not 
submitted for publication elsewhere. The papers should be submitted 
electronically in PDF, following the Springer LNCS style guidelines. Two 
categories of papers are invited:

• Regular papers, which should not exceed 15 pages in length
• Short papers, which should not exceed 7 pages in length

Both page limits exclude references, which are not limited in length. If 
necessary, the paper may be supplemented with a clearly marked appendix, which 
will be reviewed at the discretion of the program committee. Each paper will 
undergo a thorough review process. Papers should be submitted electronically 
via the EasyChair online submission system: 
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=formats2022__;!!IBzWLUs!DJld8e95dfdTsVNYyRHOXFKyT2xQuqDI9rK_SR4U6xpyabrMJCfsFJnygYCpAXYHOMaDYRI6iUKGCg$
  

ARTIFACT EVALUATION

This year, FORMATS is encouraging authors to submit artifacts where 
appropriate, for example to demonstrate how to reproduce experimental data in a 
research paper or to examine the usability and applicability of a software 
tool. Artifacts will be submitted and evaluated only for papers accepted for 
publication. These will be evaluated by the Artifact Evaluation Committee and 
those that are accepted will receive a repeatability badge to be displayed on 
the first page of the published version. For more details, see: 
https://urldefense.com/v3/__https://conferences.ncl.ac.uk/formats2022/artifactevaluation/__;!!IBzWLUs!DJld8e95dfdTsVNYyRHOXFKyT2xQuqDI9rK_SR4U6xpyabrMJCfsFJnygYCpAXYHOMaDYRKb6I1ESw$
 

PUBLICATION AND BEST PAPER AWARD

The proceedings of FORMATS 2022 will be published by Springer in the Lecture 
Notes in Computer Science series. The best paper of the conference will be 
awarded the Oded Maler Award in Timed Systems.

IMPORTANT DATES

• Abstract submission: 19 April 2022
• Paper submission: 22 April 2022
• Acceptance notification: 17 June 2022
• Artifact submission deadline: 24 June 2022
• Camera-ready copy deadline: 15 July 2022
• Conference: 12-17 September 2022

CONFEST 2022, which includes FORMATS 2022, is currently planned as a physical, 
in-person event with support for remote presence for speakers and 

[TYPES/announce] Formal Verification: Postdoc and PhD Positions available at University of Stuttgart, Germany

[Ralf Kuesters]

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

The Institute of Information Security at University of Stuttgart offers

fully-funded Postdoc and PhD positions in formal verification.

Successful candidates are expected to carry out research on 
tool-supported formal verification methods for security-critical systems 
and security protocols in our new REPROSEC initiative 
(https://urldefense.com/v3/__https://reprosec.org/__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2nyrT8xLvw$ ). See, e.g., our work at ACM CCS 2021 and EuroS 
2021 on DY*.


The positions are available immediately with an internationally 
competitive salary (German public salary scale TV-L E13 or TV-L E14, 
depending on the candidate's qualification, ranging from about 4.000 
Euro to 6.200 Euro monthly gross salary).  The employment periods are 
between one and six years, following the German 
Wissenschaftszeitvertragsgesetz (WissZeitVg).


The Institute of Information Security offers a creative international 
environment for top-level international research in Germany's high-tech 
region.


You should have a Master's degree or a Ph.D. (or should be very close to 
completion thereof) in Computer Science, Mathematics, Cyber Security, or 
a related field. We value excellent analytical skills and


- solid knowledge of logic, proofs and/or formal verification techniques 
(Theorem Proving, Type Checking, etc.), and

- solid programming experience.

Knowledge in cryptography/security is not required, but a plus. 
Knowledge of German is not required.


The University of Stuttgart is an equal opportunity employer. 
Applications from women are strongly encouraged. Severely challenged 
persons will be given preference in case of equal qualifications.


To apply, please send email with subject "Application: PhD/Postdoc 
Position in Formal Verification" and a single PDF file containing the 
following documents to ralf.kuest...@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your 
motivation to apply)

* Curriculum Vitae
* List of publications, if applicable
* Copies of transcripts and certificates (Bachelor, Master, and if 
applicable, PhD)

* Names of at least two references

The deadline for applications is

March 13th, 2022.

Late applications will be considered until the positions are filled.

See 
https://urldefense.com/v3/__https://sec.uni-stuttgart.de/__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2nz6hITu2Q$
  for more information about the institute.

See https://urldefense.com/v3/__https://www.sec.uni-stuttgart.de/institute/job-openings/__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2nzHGlMEJA$  for the 
official job announcement.


For further information please contact: Prof. Dr. Ralf Küsters, 
ralf.kuest...@sec.uni-stuttgart.de.


--
Prof. Dr. Ralf Küsters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://urldefense.com/v3/__https://sec.uni-stuttgart.de__;!!IBzWLUs!F2PawhcKY3kR7enu28OEfVwW0xf5ko3cZIagqxZA7s9qge48SQechQU_qZn8Ucj3pGbh2ny67YH4VA$ 
Phone: +49 (0) 711 685 88283

[TYPES/announce] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation

[Nicolai Kraus]

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

  CALL FOR PARTICIPATION

22nd Midlands Graduate School (MGS'22)
   in the
  Foundations of Computing Science
  10-14 April 2022, Nottingham (UK)

https://urldefense.com/v3/__https://www.cs.nott.ac.uk/*psznk/events/mgs22.html__;fg!!IBzWLUs!GSmdPP0Alv-mz_5on6dW8JJ99O3ZevWeLKOOUU3z5Fm_llnJ4L2UskvtB_vFV9oPjE19WG02Tve9dg$
 


OVERVIEW

MGS is an annual spring school that offers an intensive programme of
lectures on the mathematical foundations of computing. While the school
addresses especially PhD students in their first or second year, it is also
open to UG and MSc students, postdocs, participants from the industry, and
generally everyone interested in its topics. MGS'22 is the school's 22nd
incarnation.


PROGRAMME

MGS'22 offers eight courses:
- our invited course by Andrej Bauer
- three basic courses on category theory, proof theory, and HoTT/UF with
agda, which require no previous experience
- four advanced courses on topos theory, string diagrams, coalgebra, and
graph transformations.


REGISTRATION

Participation at MGS'22 costs GBP 320. Please see the website
https://urldefense.com/v3/__https://www.cs.nott.ac.uk/*psznk/events/mgs22.html__;fg!!IBzWLUs!GSmdPP0Alv-mz_5on6dW8JJ99O3ZevWeLKOOUU3z5Fm_llnJ4L2UskvtB_vFV9oPjE19WG02Tve9dg$
 
for details, point "Registration".

The fee covers participation in all lectures and exercise classes,
refreshments in coffee breaks, and a conference dinner. Please note that
you have to book accommodation yourselves but there are rooms available on
campus. Places are limited and will be allocated on a
first-come-first-served basis. If you would like to participate, please
register early to secure a place. The registration period closes as soon as
all places are filled or on March 20, whichever is sooner.


ORGANISATION

Please direct all queries about MGS'22 to Thorsten Altenkirch and Nicolai
Kraus,
thorsten.altenki...@nottingham.ac.uk
nicolai.kr...@nottingham.ac.uk

[TYPES/announce] CFP - Symposium on the History and Philosophy of Programming

[Tomas Petricek]

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

Dear colleagues,
I would like to invite you to submit abstracts to the Symposium on the
History and Philosophy of Programming, taking place in Lille (and online) on
13 June. This is a fifth edition of the symposium and the past editions had
many interesting submissions related to types, programming languages and
formal systems! The submission deadline for a 2-page abstract is 18 March.
Please see detailed call for papers below and feel free to reach out if you
have any questions!

Thanks,
Tomas Petricek


Second call for Abstracts

*HaPoP 2022*

/Fifth Symposium on the History and Philosophy of Programming (hybrid)/

13 June 2022, Lille, France

Maison Européenne des Sciences de l'Homme et de la Société

website: 
https://urldefense.com/v3/__https://www.shift-society.org/hapop5/__;!!IBzWLUs!HnBWSRRzciB56IETGNUvAE4RJfe_OoCmr0yCfTbyXf3i0ceAXXYa9RnWrgfvm8V6S8h6CSeTAjcHPw$
 

Co-located with the final conference of the ANR-funded PROGRAMme project,
14-15 June 2022 (more details to follow soon).

In a society where computers have become ubiquitous, it is necessary to
develop a deeper understanding of the nature of computer programs, not just
from the technical viewpoint, but from a broader historical and
philosophical perspective. A historical awareness of the evolution of
programming not only helps to clarify the complex structure of computing,
but it also provides an insight in what programming was, is and could be in
the future. Philosophy, on the other hand, helps to tackle fundamental
questions about the nature of programs, programming languages and
programming as a discipline.

HaPoP 2022 is the fifth edition of the Symposium on the History and
Philosophy of Programming, organised by HaPoC, Commission on the History and
Philosophy of Computing 
(https://urldefense.com/v3/__http://www.hapoc.org__;!!IBzWLUs!HnBWSRRzciB56IETGNUvAE4RJfe_OoCmr0yCfTbyXf3i0ceAXXYa9RnWrgfvm8V6S8h6CSdUYYbMxA$
 ) as a hybrid event. As in the
previous editions, we are convinced that an interdisciplinary approach is
necessary for understanding programming with its multifaceted nature.
As such, we welcome participation by researchers and practitioners coming
from a diversity of backgrounds, including historians, philosophers,
artists, computer scientists and professional software developers.

WHAT IS A COMPUTER PROGRAM?
This edition of the symposium will be co-located with the final conference
of the ANR-funded PROGRAMme project which poses the basic question “What is
a computer program?” This seemingly simple question has no simple answer
today, but the responses one gives to it affect very real problems: who is
responsible if a given piece of software fails; whether a program is correct
or not; or whether copyright or patent law applies to programs. The project
is anchored in the conviction that a new kind of foundational research is
needed. The broad range of scientific and societal problems related to
computing cannot be addressed by any single discipline.

The question “What is a program?”, is a call for deeper critical thinking
about the nature of programs that is both foundational, in the sense that it
goes beyond specific problems, but also accessible, in the sense that it
should be open to anyone who is willing to make an effort in understanding
this basic technique from a broader horizon.

In order to initiate new collaborations that critically reflect on the
nature of programs and engage a broader community with the above issues,
HaPoP 2022 is particularly looking for talk proposals that relate to the
question “What is a computer program?” and offer a novel reflection from a
variety of perspectives, including historical, practice-based,
philosophical, logical, etc.

SELECTED TOPICS OF INTEREST FOR THE SYMPOSIUM Possible and in no way
exclusive questions of relevance to this symposium are:

- What is a computer program?
- Are we getting better at writing programs that solve the given problem?
Is programming a specialist discipline, or will everyone in the future be a
programmer?
- What are the different scientific paradigms and research programmes
developed through the history of computer programming?
- What is a correct program?
- Is a program a text?
- Is it possible to eliminate errors from computer programs?
- How did the notion of a program change throughout the history?
- How are programs and abstractions born, used and understood?
- What was and is the relationship between hardware and software
developments?
- How did theoretical computer science (lambda-calculus, logics, category
theory) influence the development of programming languages and vice versa?
- What are the novel and most interesting approaches to the design of
programs?
- What is the nature of the relationship between algorithms and programs?
- What legal and socio-economical issues are involved in 

[TYPES/announce] Call for Papers: PACMPL issue ICFP 2022

[ICFP Publicity]

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

   PACMPL Volume 6, Issue ICFP 2022

Call for Papers

   Accepted papers to be invited for presentation at
The 27th ACM SIGPLAN International Conference on Functional Programming

   Ljubljana, Slovenia


https://urldefense.com/v3/__http://icfp22.sigplan.org/__;!!IBzWLUs!Hno6BNTeOYXI2TtHLT0KmewBlK4HTBq3NH4nWmbAfQmE3WKsCkeexkP63DrA5ILTRf9SzNfv6Qch5A$
 

### Important dates

Submissions due:  2 March 2022 (Wednesday), Anywhere on Earth
Author response:  2 May (Monday) - 5 May (Thursday)
Notification: 21 May (Thursday)
Submission of revised papers: 16 June (Thursday)
Final copy due:   21 July (Thursday)
Conference:   11 September (Sunday) - 16 September (Friday)


[PACMPL](https://urldefense.com/v3/__https://pacmpl.acm.org/__;!!IBzWLUs!Hno6BNTeOYXI2TtHLT0KmewBlK4HTBq3NH4nWmbAfQmE3WKsCkeexkP63DrA5ILTRf9SzNcP7eE18w$
 ) issue ICFP 2022 seeks original
papers on the art and science of functional programming. Submissions
are invited on all topics from principles to practice, from
foundations to features, and from abstraction to application. The
scope includes all languages that encourage functional programming,
including both purely applicative and imperative languages, as well as
languages with objects, concurrency, or parallelism. Topics of
interest include (but are not limited to):

* Language Design: concurrency, parallelism, and distribution;
   modules; components and composition; metaprogramming; macros;
   pattern matching; type systems; type inference; dependent types;
   session types; gradual typing; refinement types; interoperability;
   domain-specific languages; imperative programming; object-oriented
   programming; logic programming; probabilistic programming;
   reactive programming; generic programming; bidirectional
   programming.

* Implementation: abstract machines; virtual machines;
   interpretation; compilation; compile-time and run-time
   optimization; garbage collection and memory management; runtime
   systems; multi-threading; exploiting parallel hardware; interfaces
   to foreign functions, services, components, or low-level machine
   resources.

* Software-Development Techniques: algorithms and data structures;
   design patterns; specification; verification; validation; proof
   assistants; debugging; testing; tracing; profiling; build systems;
   program synthesis.

* Foundations: formal semantics; lambda calculus; program
   equivalence; rewriting; type theory; logic; category theory;
   monads; continuations; control; state; effects; names and binding;
   program verification.

* Analysis and Transformation: control flow; data flow; abstract
   interpretation; partial evaluation; program calculation.

* Applications: symbolic computing; formal-methods tools; artificial
   intelligence; systems programming; distributed systems and web
   programming; hardware design; databases; XML processing;
   scientific and numerical computing; graphical user interfaces;
   graphics and multimedia; GPU programming; scripting; system
   administration; security.

* Education: teaching introductory programming; parallel
   programming; mathematical proof; algebra.

Submissions will be evaluated according to their relevance,
correctness, significance, originality, and clarity. Each submission
should explain its contributions in both general and technical terms,
clearly identifying what has been accomplished, explaining why it is
significant, and comparing it with previous work. The technical
content should be accessible to a broad audience.
PACMPL issue ICFP 2022 also welcomes submissions in two separate
categories — Functional Pearls and Experience Reports — that must be
marked as such when submitted and that need not report original
research results. Detailed guidelines on both categories are given at
the end of this call.
Please contact the associate editor if you have questions or are
concerned about the appropriateness of a topic.

### About PACMPL

Proceedings of the ACM on Programming Languages (PACMPL
) is a Gold Open Access journal publishing
research on all aspects of programming languages, from design to
implementation and from mathematical formalisms to empirical
studies. Each issue of the journal is devoted to a particular subject
area within programming languages and will be announced through
publicized Calls for Papers, like this one.

### Preparation of submissions

**Deadline**: The deadline for submissions is **Wednesday, March 2, 2022**,
Anywhere on Earth