[TYPES/announce] Postdoc Position in Formal Verification

[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 a

fully-funded Postdoc position in formal verification

The successful candidate is expected to work on tool-supported formal 
verification of security-critical systems and security protocols.


The position is 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.600 
Euro to 6.200 Euro monthly gross salary).  The appointment period 
follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging 
from one year to up to six years.


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


The successful candidate should have a Ph.D. (or should be very close to 
completion thereof) in Computer Science, Mathematics, Information 
Security, or a related field. We value strong analytical skills and


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

- solid programming experience.

Knowledge in 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: Postdoc Position 
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
* Copies of transcripts and certificates (Bachelor, Master, PhD)
* Names of at least two references

The deadline for applications is

August 1st, 2021.

Late applications will be considered until the position is filled.

See https://sec.uni-stuttgart.de/ for more information about the institute.

See https://www.sec.uni-stuttgart.de/institute/job-openings/ 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://sec.uni-stuttgart.de
Phone: +49 (0) 711 685 88283

[TYPES/announce] Two postdoc positions on next-generation fuzzing techniques

[Alastair Donaldson]

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

Dear all

At Imperial College London we are looking to hire two postdoctoral Research
Associates to work on techniques for next-generation fuzzing, including
applying methods that have shown success in randomized testing of
programming language implementations more generally. We will also consider
pre-doctoral candidates.

Please see here for full details - I'd be grateful if you could spread the
word to interested candidates:

https://www.imperial.ac.uk/jobs/description/ENG01757/research-assistantassociate-automated-fuzz-testing-research-x2

If you're interested then do feel free to contact me in advance of applying
with informal enquiries.

Many thanks

Ally

[TYPES/announce] ETAPS 2022 1st joint call for papers

[Tarmo Uustalu]

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

Why choose ETAPS?

- ETAPS is one of the world's leading fora for research on software
  science, with a history of more than 25 years.
- ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences.
- The proceedings of ETAPS appear in gold open access, with no article
  processing charge for the authors specifically.
- ETAPS has low participation fees for all and for students in
  particular.

New in 2022:

- Like FASE for several years already, ESOP will also use double-blind
  review this time.
- FASE has a new paper category of new ideas and emerging results 
  (NIER) papers.
- The pre-paper-acceptance artifact submission deadline for TACAS is
  now a little later than the paper submission deadline.
- ESOP and FASE welcome voluntary submission of artifacts for
  evaluation after paper acceptance; the outcome will not change the
  paper acceptance decision.
- Among the satellite events, there is a PhD student mentoring 
  workshop. 


**

  JOINT CALL FOR PAPERS

25th European Joint Conferences on Theory and Practice of Software
   ETAPS 2022

 Munich, Germany, 2-7 April 2022

  https://etaps.org/2022

**

-- ABOUT ETAPS --

ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of four annual conferences,
accompanied by satellite workshops. ETAPS 2022 is the twenty-fifth
event in the series.


-- MAIN CONFERENCES (4-7 April) --

   * ESOP: European Symposium on Programming
   (PC chair: Ilya Sergey, Yale-NUS College and
National University of Singapore, Singapore)
   * FASE: Fundamental Approaches to Software Engineering
   (PC chairs:Einar Broch Johnsen, University of Oslo, Norway, 
   and Manuel Wimmer, Johannes Kepler Universität Linz, Austria)
   * FoSSaCS: Foundations of Software Science
   and Computation Structures
   (PC chairs: Patricia Bouyer, CNRS, LMF, France, 
   and Lutz Schröder, FAU Erlangen-Nürnberg, Germany)
   * TACAS: Tools and Algorithms for
   the Construction and Analysis of Systems
   (PC chairs: Dana Fisman, Ben-Gurion University of the Negev,
 Israel, and Grigore Rosu, University of Illinois at
 Urbana-Champaign, USA) 
TACAS '22 will host the 11th Competition on Software Verification
(SV-COMP).


-- INVITED SPEAKERS --

   * Unifying speakers:
 Alexandra Silva (University College London, UK / 
 Cornell University, USA)
 Tomáš Vojnar (Brno University of Technology, Czechia)
   * FoSSaCS invited speaker:
 Nathalie Bertrand (Inria Rennes, France)
   * TACAS invited speaker:
 TBA

   * Tutorial speakers:
 TBA


-- IMPORTANT DATES

   * Paper submission: 14 October 2021 23:59 AoE
   * Pre-paper-acceptance artifact submission (TACAS):
4 November 2021 23:59 AoE
   * Rebuttal (ESOP, FoSSaCS and, partially, TACAS):
7 December 00:01 AoE - 9 December 2021 23:59 AoE
   * Paper notification: 23 December 2021
   * Post-paper-acceptance artifact submission (ESOP, FASE, TACAS):
5 January 2022 23:59 AoE
   * Paper final versions: 26 January 2022
   * Artifact notification: 16 February 2022


-- SUBMISSION INSTRUCTIONS --

The four main conferences of ETAPS 2022 solicit contributions of the
following types. All page limits are given **excluding the
bibliography**.

  * ESOP: regular research papers of max 25 pp
  * FASE: regular research papers and empirical evaluation papers of
max 18 pp,
new ideas and emerging results (NIER) papers of max 8 pp,
tool demonstration papers of max 6 pp (+ mandatory appendix of max
6 pp),
  * FoSSaCS: regular research papers of max 18 pp 
  * TACAS: regular research papers, case study papers and regular tool
papers of max 16 pp,
tool demonstration papers of max 6 pp

For definitions of the different paper types and specific
instructions, where they are present, see the webpages of the
individual conferences.

All accepted papers will appear in the proceedings and have
presentations during the conference. A condition of submission is
that, if the submission is accepted, one of the authors attends the
conference to give the presentation. We plan ETAPS 2022 as a hybrid
conference; remote attendance and presentation will be possible.

Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere. In
particular, simultaneous submission of the same contribution to
multiple ETAPS conferences is also forbidden.

Submissions must follow the formatting guidelines of Springer's LNCS
(use the llncs.cls class) and be submitted electronically in pdf
through the 

[TYPES/announce] IFL'21 Third call for papers

[Pieter Koopman]

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



IFL 2021

33rd Symposium on Implementation and Application of Functional Languages


 venue: online
  1 - 3 September 2021

 https://ifl21.cs.ru.nl




News


   - Paper submission details.
   - Registration information added


Scope

The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2021 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.


Industrial track and topics of interest

This year's edition of IFL explicitly solicits original work concerning
*applications*
of functional programming in industry and academia. These contributions
will be reviewed by experts with an industrial background.

Topics of interest to IFL include, but are not limited to:

* language concepts
* type systems, type checking, type inferencing
* compilation techniques
* staged compilation
* run-time function specialisation
* run-time code generation
* partial evaluation
* (abstract) interpretation
* meta-programming
* generic programming
* automatic program generation
* array processing
* concurrent/parallel programming
* concurrent/parallel program execution
* embedded systems
* web applications
* (embedded) domain-specific languages
* security
* novel memory management techniques
* run-time profiling performance measurements
* debugging and tracing
* testing and proofing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* applications of functional programming in the industry, including
** functional programming techniques for large applications
** successes of the application functional programming
** challenges for functional programming encountered
** any topic related to the application of functional programming that is
interesting for the IFL community


Post-symposium peer-review

Following IFL tradition, IFL 2021 will use a post-symposium review process
to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will be
screened by the program chairs to make sure that they are within the scope
of
IFL. The draft papers will be made available to all participants at the
symposium.
Each draft paper is presented by one of the authors at the symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to
IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty,
originality,
relevance, significance, and clarity, and will thereby determine whether the
paper is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years. Moreover, the proceedings will
also
be made publicly available as open access.


Important dates

Submission deadline of draft papers:   17 August 2021
Notification of acceptance for presentation:   19 August 2021
Registration deadline: 30 August 2021
IFL Symposium: 1-3 September 2021
Submission of papers for proceedings:  6 December 2021
Notification of acceptance:3 February 2022
Camera-ready version:  15 March 2022


Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template

.
(For LaTeX users, start your document with
\documentclass[format=sigconf]{acmart}.)
Note that this format has a rather long but limited list of packages that
can be used.
Please make sure that your document adheres to this list.

The submission Web page for IFL21 is
https://easychair.org/conferences/?conf=ifl21

[TYPES/announce] FMCAD Student Forum CFP (EXTENDED Deadline: July 17)

[Mark Santolucito]

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

# Student Forum

Continuing the tradition of the previous years, FMCAD 2021 is hosting a
Student Forum that provides a platform for students at any career stage
(undergraduate or graduate) to introduce their research to the wider Formal
Methods community, and solicit feedback. The Student Forum will be held in
a hybrid format, online via video conferencing.

## Submissions

Submissions must be short reports describing research ideas or ongoing work
that the student is currently pursuing. Joint submissions from two students
are allowed, provided the students contributed equally to the work -
however, joint submissions must be presented by a single student. The topic
of the reports must be within the scope of the FMCAD conference. These
reports will NOT be published, thus we welcome reports based on already
submitted/published papers. However, the novel aspects to be addressed in
future work must be clearly described.

Submissions should follow the same formatting guidelines as those for
regular FMCAD conference submissions, except that the length is limited to
2 pages IEEE format, including all figures and references.

## Important Dates

- Student forum submission: July 17, 2021
- Student forum notification: Aug 6, 2021

These deadlines are 11:59 pm AoE (Anywhere on Earth)

More info here: https://fmcad.org/FMCAD21/student_forum/

## Main Activities

### Student Forum Talks.

Each student will give a lightning talk.

In the case that a student is attending FMCAD physically, the talk will be
given in-person at the conference.

In the case that a student is attending FMCAD remotely, the talk will be
given over Zoom.

### Discussion Groups.

Students will have the opportunity to explain and discuss their work in
small groups. More details to come on the logistics of discussion for
remote participants.

Submissions for the event must be short reports describing research ideas
or ongoing work that the student is currently pursuing, and must be within
the scope of FMCAD. Work, part of which has been previously published, will
be considered; the novel aspect to be addressed in future work must be
clearly described in such cases. All submissions will be reviewed by a
subgroup of FMCAD committee members.

## Format

The event will consist of short presentations by the student authors of
each accepted submission, and of a virtual poster session. All participants
of the conference are encouraged to attend the talks, ask questions and
discuss with their fellow students in the virtual post sessions.
Instructions for the preparation of the talks and poster sessions will be
announced on notification of acceptance.

## Visibility

Accepted submissions will be listed, with title and author name, in the
event description in the conference proceedings. The authors will also have
the option to upload their slide deck/poster/presentation to the FMCAD
website. The report itself will not appear in the FMCAD proceedings; thus,
the presentation at FMCAD should not interfere with potential future
submissions of this research (to FMCAD or elsewhere).

The best contributions (determined by public vote by attendees) will be
given public recognition and a certificate at the event.

***Forum Chair***

Mark Santolucito (msant...@barnard.edu) chairs the Student Forum. Feel free
to send an email if you have questions about the event.