[TYPES/announce] postdoc position in Lille (France) on type systems and logical methods

2021-11-22 Thread Patrick Baillot 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Applications are invited for a postdoc position at the University of Lille, 
France. The successful candidate will work under the supervision of Patrick 
Baillot, on research topics related to type systems and logical methods in one 
of the following areas (non exclusive list): 
timing analysis for sequential, parallel or concurrent systems ; privacy 
properties of programs (sensitivity, differential privacy…) ; typing methods 
for synchronous languages (e.g. static analysis for clock assignment).

Candidates should have, or expect shortly to obtain, a PhD in Computer Science, 
with expertise in programming languages, logic or formal methods. The position 
is for one year. The starting date would be at the beginning of 2022 but is 
negociable. There is no teaching load. Knowledge of French is not required.

 The candidate will join the SyCoMoRES team 
(https://urldefense.com/v3/__https://www.cristal.univ-lille.fr/en/teams/sycomores/?force_lang=true__;!!IBzWLUs!F-NQSW8QIIvOoBOvgM0TAKrSixOOksZrCRmqvMQ5sJ1Ez_u_CxbUhSs0brVMpgvO8RZtbPQyth0LcA$
  ), within the CRIStAL research center 
(https://urldefense.com/v3/__https://www.cristal.univ-lille.fr/en/__;!!IBzWLUs!F-NQSW8QIIvOoBOvgM0TAKrSixOOksZrCRmqvMQ5sJ1Ez_u_CxbUhSs0brVMpgvO8RZtbPQIu1IuCw$
  ). The position is funded by I-site Université Lille Nord-Europe.

If you are interested please contact me as soon as possible, with a brief 
outline of your academic background and research interests. 
As a second step, a complete application will consist of
+ a cover letter;
+ a detailed CV including a list of publications and a summary of research;
+ contact information for two or three academic references;
This application should be sent by email to patrick.bail...@univ-lille.fr .

The review of applications will begin on December 6 and continue until 
the position is filled.

Patrick Baillot 
(https://urldefense.com/v3/__https://pro.univ-lille.fr/patrick-baillot/__;!!IBzWLUs!F-NQSW8QIIvOoBOvgM0TAKrSixOOksZrCRmqvMQ5sJ1Ez_u_CxbUhSs0brVMpgvO8RZtbPQc0FGwiw$
  )

[TYPES/announce] TYPES 2021 post-proceedings: Second call for papers (Deadline extension)

2021-11-22 Thread Henning Basold 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

 Open call for papers for the
Post-proceedings of the
   27th International Conference on Types for Proofs and Programs
TYPES 2021


TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2021 was held 14-18 June 2021
virtually hosted by University Leiden, Netherlands. The post-proceedings
volume will be published in LIPIcs, Leibniz International Proceedings
in Informatics, an open-access series of conference
proceedings (http://www.dagstuhl.de/en/publications/lipics).

Submission to this post-proceedings volume is open to everyone, also to
those who did not participate in the conference. We welcome high-quality
descriptions of original work, as well as position papers, overview
papers, and system descriptions. Submissions should be written in
English, not overlapping with published or simultaneously submitted work
to a journal or a conference with archival proceedings.

The scope of the post-proceedings is the same as the scope of the
conference: the theory and practice of type theory.
In particular, we welcome submissions on the following topics:

* Foundations of type theory and constructive mathematics;
* Applications of type theory (e.g., linguistics or concurrency);
* 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;
* Formalising mathematics using type theory;
* Homotopy type theory and univalent mathematics.


IMPORTANT DATES (Updated!)

* Abstract submission:22 November 2021 (AoE)
* Paper submission:   10 December 2021 (AoE)
* Author notification:25 March 2022


DETAILS

* Papers have to be formatted with the current LIPIcs style and adhere
  to the style requirements of LIPIcs:

  https://submission.dagstuhl.de/series/details/5#author

* The upper limit for the length of submissions is 20 pages, excluding
  title page and bibliography but including appendices.

* The processing charge will kindly be sponsored by LIACS (Leiden
  Institute for Advanced Computer Science) for up to 20 publications,
  given that these publications do not exceed the page limit. See here
  for details about the processing charge:
https://submission.dagstuhl.de/documentation/faq/11

* Papers have to be submitted as PDF through EasyChair:
https://easychair.org/conferences/?conf=posttypes2021

* Authors have the option to attach to their submission a zip or tgz
  file containing code (formalised proofs or programs), but reviewers
  are not obliged to take the attachments into account and they will
  not be published.

* In case of questions, e.g. on the page limit, contact one editors
  either directly or through .


EDITORS

- Henning Basold (https://liacs.leidenuniv.nl/~basoldh/),
  Leiden University, NL
- Jesper Cockx (https://jesper.sikanda.be/),
  Technical University Delft, NL
- Silvia Ghilezan (http://imft.ftn.uns.ac.rs/~silvia/),
  University of Novi Sad, RS



OpenPGP_signature
Description: OpenPGP digital signature