[TYPES/announce] Two postdoc positions at LIS (Aix-Marseille University) and LIX (Ecole Polytechnique)

[Noam Zeilberger]

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

Announcement for two 11-15-month postdoctoral positions funded by the
ANR LambdaComb.

Project summary : LambdaComb is an interdisciplinary project financed
by the French Agence Nationale de la Recherche. Broadly, the project
aims to deepen connections between lambda calculus and logic on the
one hand and combinatorics on the other. One important motivation for
the project is the discovery over recent years of a host of surprising
links between subsystems of lambda calculus and enumeration of graphs
on surfaces, or "maps", the latter being an active subfield of
combinatorics with roots in W. T. Tutte's work in the 1960s.  More
informations can be found on the project webpage:
https://urldefense.com/v3/__https://www.lix.polytechnique.fr/LambdaComb/__;!!IBzWLUs!G3M763_fgbA1TWWijp2NjbeZtcZGX2ylpqMKkEqnWMnowr9TCsamDj5N152AxfulX3LLyaQ6SImy4A$
 

We seek candidates holding or soon to receive a PhD in Computer
Science or Mathematics and with expertise in one or several of the
following areas:

- Category theory (with a focus on monoidal closed categories and
multicategories)
- Combinatorics
- Logic and lattice theory
- Proof theory, types, and Curry-Howard correspondence

The ideal candidate will have a strong background in one of the areas
and at least an interest in the others.

We aim to recruit two postdocs who will be employed respectively at:

* LIS research laboratory 
(https://urldefense.com/v3/__https://www.lis-lab.fr/__;!!IBzWLUs!G3M763_fgbA1TWWijp2NjbeZtcZGX2ylpqMKkEqnWMnowr9TCsamDj5N152AxfulX3LLyaTO2eZpsQ$
 ) in Marseille,
France, working under the mentorship of Luigi Santocanale
* LIX laboratory 
(https://urldefense.com/v3/__https://www.lix.polytechnique.fr/__;!!IBzWLUs!G3M763_fgbA1TWWijp2NjbeZtcZGX2ylpqMKkEqnWMnowr9TCsamDj5N152AxfulX3LLyaSm1SO5kw$
 ) in Palaiseau,
France (south of Paris), working under the mentorship of Noam
Zeilberger

Both postdocs will have opportunities for visiting other partner
institutions and for collaborating with other members of the project
(see full list at the project page linked above).

Application process:

- Deadline for applications is March 27, 2022, for a starting date in
September 2022 (or sooner, negotiable).

- Candidates can send their application to Luigi Santocanale
(luigi.santocan...@lis-lab.fr) and/or Noam Zeilberger
(noam.zeilber...@lix.polytechnique.fr) with a subject containing
“[LambdaComb post-doc application]”.

- The application should contain a CV, a brief research statement (1-2
pages) & at least two contacts of reference persons (or reference
letters if available).

- The salary and precise length of the contract will depend on the
successful candidate's prior research experience, with a guaranteed
minimum of 2466 EUR/month gross salary for the LIS postdoc and of 2520
EUR/month gross salary for the LIX postdoc.

- The selection process will be achieved in collaboration with other
project coordinators.

Further enquiries about the position may be addressed to Luigi
Santocanale (luigi.santocan...@lis-lab.fr) or Noam Zeilberger
(noam.zeilber...@lix.polytechnique.fr).

[TYPES/announce] Associate Professor Position in Software Engineering at Uppsala University

[Tobias Wrigstad]

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

Closing date: 22 March 2022
Salary: Depending on experience, and level of employment (See public salary 
information: 
https://urldefense.com/v3/__https://www.saco.fackorg.uu.se/pay-salary/salary-statistics/__;!!IBzWLUs!GgPtSNrW-SESxyxj7JqYxZhpvC5lg0w3llKXVbjo8RQbRwzt0Ds4yHSWerq-yh7TfpZnD94iSSeUfw$
  — look at Senior lecturers or Professors at TekNat)
Key Research Areas of interest: Software Engineering
Full details: 
https://urldefense.com/v3/__https://uu.se/en/about-uu/join-us/details/?positionId=457604__;!!IBzWLUs!GgPtSNrW-SESxyxj7JqYxZhpvC5lg0w3llKXVbjo8RQbRwzt0Ds4yHSWerq-yh7TfpZnD95o4JhKUw$
 
Contact: Professor Joachim Parrow 
(joachim.par...@it.uu.se)

The Department of Information Technology within the Faculty of Science and 
Technology at Uppsala University, Sweden is seeking to make an appointment at 
Senior Lecturer/Associate Professor or Professor level (depending on 
experience) in Software Engineering with a focus on at least one of the 
following topics: search-based software engineering, machine learning with and 
for software engineering, program synthesis, software testing, program 
analysis, mining software repositories, software evolution and maintenance, 
human aspects of software engineering, software processes, software economics, 
ethics in software engineering, privacy and security by design.

The appointee will be expected to take a leading role in teaching and research 
in Software Engineering within the division of Computing Science. The appointee 
will carry out internationally-leading research and take an active role in 
providing high quality and innovative teaching in the broad area of Software 
Engineering. Interest in developing connections between academia and industry, 
and integrating industry in teaching software engineering will be especially 
welcomed. (See full ad for details.)

The Department of Information Technology has a leading position in research and 
education and currently employs more than 300 teachers and PhD students. More 
than 4000 students study one or more courses at the department each year. More 
info: 
https://urldefense.com/v3/__http://www.it.uu.se__;!!IBzWLUs!GgPtSNrW-SESxyxj7JqYxZhpvC5lg0w3llKXVbjo8RQbRwzt0Ds4yHSWerq-yh7TfpZnD96oIKq04g$
 . The Mälardalen region in which Uppsala is located and the close-by Stockholm 
region are home to a wide range of software companies, both Swedish and 
international. The openness of Swedish universities (where researchers own 
their own research, not the universities) further promotes collaboration. Grant 
schemes for industrial mobility and funding for PhD students from industry are 
available yearly.

The appointee will be employed at the division of computing science within the 
department. The division currently employs 5 full professors, 10 associate 
professors, and 2 assistant professors and a number of PhD students, organised 
in informal research groups pursuing a wide range of research interests 
including formal methods, formal semantics, concurrency theory, optimisation, 
programming languages, data science and databases. Other divisions at the 
department conduct research in computer systems (including verification, 
testing, embedded systems and computer architecture), scientific computing, 
modelling, analysis and control of dynamical systems, computerised image 
analysis, human-computer interaction and computer education research.

Please get in touch directly if the position is of interest.

About Working and Living in Sweden

Sweden is a fantastic place for living and working. Swedes are friendly and 
speak excellent English. The quality of life is high, with a strong emphasis on 
outdoor activities. The Swedish working climate emphasises an open atmosphere, 
with active discussions involving both junior and senior staff. Spouses of 
employees are entitled to work permits. Healthcare is free after a small co-pay 
and the university subsidises athletic costs, such as a gym membership. The 
parental benefits in Sweden are among the best in the world, including 
extensive parental leave (for both parents), paid time off to care for sick 
children, and affordable daycare. For more information, be sure to read "Why 
choose Sweden?" 
(https://urldefense.com/v3/__https://www.uu.se/en/about-uu/join-us/advantages__;!!IBzWLUs!GgPtSNrW-SESxyxj7JqYxZhpvC5lg0w3llKXVbjo8RQbRwzt0Ds4yHSWerq-yh7TfpZnD95reFQQDA$
 ) and "Why choose Uppsala University?" 
(https://urldefense.com/v3/__https://www.uu.se/en/about-uu/join-us/why-uppsala-university__;!!IBzWLUs!GgPtSNrW-SESxyxj7JqYxZhpvC5lg0w3llKXVbjo8RQbRwzt0Ds4yHSWerq-yh7TfpZnD96W_S6byg$
 ).









När du har kontakt med oss på Uppsala universitet med e-post så innebär det att 
vi behandlar dina personuppgifter. För att läsa mer om hur vi gör det kan du 
läsa här: 

[TYPES/announce] [ICFEM 2022] Call for Workshops and tutorials

[ADRIAN RIESCO RODRIGUEZ]

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

23rd International Conference on Formal Engineering Methods - ICFEM 2022
October 24-27, 2022
Madrid, Spain
https://urldefense.com/v3/__http://maude.ucm.es/ICFEM22/__;!!IBzWLUs!DrgKWZshy1lWk1RzisBd3a7l8cyiHUpQWUmEqBsywWYMDfa9mfDSswyfeT0kDlhxHFmRO-qsD949GQ$
 

CALL FOR WORKSHOPS AND TUTORIALS

Workshops and tutorials will take place before the main conference, on
October 24, 2022.

SUBMISSION OF WORKSHOP AND TUTORIAL PROPOSALS

Researchers and practitioners are invited to submit proposals for workshops
and tutorials on
topics in the field of computer science, related to Formal Engineering
Methods in the broad sense.

Each proposal should consist of the following two parts.

1) A short scientific justification of the proposed topic, its significance,
and the particular benefits of the workshop to the community, as well as a
list of previous or related workshops/tutorials (if relevant).

2) An organisational part including:

 - contact information for the workshop/tutorial organizers;
 - estimate of the number of workshop/tutorial participants;
 - proposed format and agenda (e.g. paper presentations, tutorials, demo
sessions, etc.);
 - potential invited speakers (note that expenses of workshop invited
speakers are not covered by ICFEM);
 - procedures for selecting papers and participants;
 - plans for dissemination, if any (e.g. a journal special issue);
 - duration (which may vary from half a day to one day);
 - virtual/hybrid backup plans (including platform preference).

The ICFEM Organizing Committee will determine the final list of accepted
workshop/tutorial based on the scientific interest for ICFEM participants,
as well
on the availability of space and facilities.

Proposals should be submitted via email to arie...@ucm.es and
zhang...@sei.ecnu.edu.cn
before March, 20.

[TYPES/announce] Applied Category Theory 2022: First Call for Papers

[Fredrik Nordvall Forsberg]

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

5th Annual International Conference on Applied Category Theory (ACT2022)
July 18--22, 2022
https://urldefense.com/v3/__https://msp.cis.strath.ac.uk/act2022/__;!!IBzWLUs!GOBc0nMH_L3ZwFiCsHBb87-5etWVhzOwH14kzSBNtBVjO0m5X5q8vcPdrfaievjj30GBpq-BralwMA$ 


The Fifth International Conference on Applied Category Theory will take
place at the University of Strathclyde from 18 to 22 July 2022, preceded
by the Adjoint School 2022 from 11 to 15 July. This conference follows
previous events at Cambridge (UK), Cambridge (MA), Oxford and Leiden.

Applied category theory is important to a growing community of
researchers who study computer science, logic, type theory, engineering,
physics, biology, chemistry, social science, linguistics and other
subjects using category-theoretic tools.  The background and experience
of our members is as varied as the systems being studied. The goal of
the Applied Category Theory conference series is to bring researchers
together, strengthen the applied category theory community, disseminate
the latest results, and facilitate further development of the field.

SUBMISSIONS

We accept submissions in English of original research papers, talks
about work accepted/submitted/published elsewhere, and demonstrations of
relevant software. Accepted original research papers will be published
in a proceedings volume. The keynote addresses will be chosen from the
accepted papers. The conference will include an industry showcase event
and community meeting. We particularly encourage people from
underrepresented groups to submit their work and the organizers are
committed to non-discrimination, equity, and inclusion.

Submission formats:

1. Extended Abstracts should be submitted describing the
contribution and providing a basis for determining the topics and
quality of the anticipated presentation (1-2 pages). These
submissions will be adjudicated for inclusion as a talk at the
conference. Such work should include references to any longer
papers, preprints, or manuscripts providing additional details.

2. Conference Papers should present original, high-quality work in
the style of a computer science conference paper (up to 14 pages,
not counting the bibliography; detailed proofs may be included in an
appendix for the convenience of the reviewers). Such submissions
should not be an abridged version of an existing journal article
(see item 1) although pre-submission Arxiv preprints are permitted.
These submissions will be adjudicated for both a talk and
publication in the conference proceedings.

3. Software Demonstrations should be submitted in the format of an
Extended Abstract (1-2 pages) giving the program committee enough
information to assess the content of the demonstration. We are
particularly interested in software that makes category theory
research easier, or uses category theoretic ideas to improve
software in other domains.

Extended abstracts and conference papers should be prepared with LaTeX.
For conference papers please use the EPTCS style files available at
https://urldefense.com/v3/__http://style.eptcs.org/__;!!IBzWLUs!GOBc0nMH_L3ZwFiCsHBb87-5etWVhzOwH14kzSBNtBVjO0m5X5q8vcPdrfaievjj30GBpq9Oajv7Bw$
  .

The submission link is 
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=act2022__;!!IBzWLUs!GOBc0nMH_L3ZwFiCsHBb87-5etWVhzOwH14kzSBNtBVjO0m5X5q8vcPdrfaievjj30GBpq9LA8RBnA$
  .

IMPORTANT DATES

The following dates are all in 2022, and Anywhere On Earth.

- Submission Deadline: Monday 9 May
- Author Notification: Tuesday 7 June
- Camera-ready version due: Tuesday 28 June
- Adjoint School: Monday 11 to Friday 15 July
- Main Conference: Monday 18 to Friday 22 July


CONFERENCE FORMAT

We hope to run the conference as a hybrid event with talks recorded or
streamed for remote participation. However, due to the state of the
pandemic, the possibility of in-person attendance is not yet confirmed.
Please be mindful of changing conditions when booking travel or hotel
accommodations.

FINANCIAL SUPPORT

Limited financial support will be available. Please contact the
organisers for more information.

PROGRAM COMMITTEE

Jade Master, University of Strathclyde (Co-Chair)
Martha Lewis, University of Bristol (Co-Chair)

The full program committee will be announced soon.

ORGANISING COMMITTEE

Jules Hedges, University of Strathclyde
Jade Master, University of Strathclyde
Fredrik Nordvall Forsberg, University of Strathclyde
James Fairbanks, University of Florida

STEERING COMMITTEE

John Baez, University of California, Riverside
Bob Coecke, Cambridge Quantum
Dorette Pronk, Dalhousie University
David Spivak, Topos Institute

[TYPES/announce] postdoc position, University of Warsaw

[Sławomir Lasota]

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

[ erratum: mistaken salary amount corrected ]

Postdoc position in automata theory, University of Warsaw

**
- Application deadline: March 31, 2022
- Starting date: As soon as possible
- Salary: 27.000 EUR 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!EHBRhAjeYEDUNQwhE6Oizf3ysQHhCfrM64bEGeqiw5AEo4uvAQEo_0JzR29C8gnYnG9kBakO3hXXeA$
 )
- 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] QEST 2022: Second Call for Papers

[QEST Publicity]

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




QEST 2022
International Conference on Quantitative Evaluation of SysTems
https://www.qest.org/qest2022

September 12-16th, 2022
Co-located at CONFEST (Warsaw) with CONCUR, FORMATS, FMICS
https://confest2022.mimuw.edu.pl


**
Abstract Submission:  April 18th, 2022
Paper Submission: April 25th, 2022
Artifact Submission: May 2nd, 2022
Notifications: June 20th, 2022
Camera-ready:  July 18th, 2022
Conference:September 12-16th, 2022
**



Keynote Speakers


- Jane Hillston, University of Edinburgh, UK
- Marta Kwiatkowska, University of Oxford, UK



Scope and Topics


The International Conference on Quantitative Evaluation of SysTems (QEST) is
the leading forum on quantitative evaluation and verification of computer
systems and networks. QEST 2022 is the 19th conference in the series.

Scientific areas of interest include:
- Quantitative specification methods.
- Stochastic and non-deterministic models and metrics for performance,
  reliability, safety, correctness, and security.
- New algorithms for the analysis or simulation of stochastic, probabilistic
  and non-deterministic models.
- As a recent emphasis: application of data-driven, machine learning
  techniques for the quantitative evaluation and verification of systems, in
  particular for safety-critical applications (learning for safety, as well
  as safe learning).
- Case studies that highlight the role of quantitative specification,
  modelling and evaluation in the design of systems. Systems of interest
  include computer hardware and software architectures, communication systems,
  cyber-physical systems, infrastructural systems, security systems and
  biological systems.
- Papers that describe novel tools to support the practical application of
  research results in all of the above areas are also welcome.

QEST 2022 will set up a repeatability/artifact evaluation process 
(details below).

QEST 2022 is open to both theoretical, experimental and applicative research.
The conference welcomes a diversity of modelling formalisms, programming
languages and methodologies that incorporate quantitative aspects such as
probabilities, temporal properties, rewards and forms of non-determinism.
Papers may advance empirical, simulation and analytic methods, and
industrially-relevant case studies.


===
Submissions
===

QEST 2022 considers three types of papers (authors will be able to specify the
type of the contribution at submission):

1. THEORETICAL/METHODOLOGICAL:
To advance the understanding on a topic or issue, or to describe the
development and proposal of new analysis processes and techniques.

2. APPLICATION:
To describe a novel application and compare it with previous results.

3. TOOL:
To develop new tools and the formalisms they support, with a focus on the
software architecture and practical implementation and use.  Tool papers must
be accompanied by an artifact in the Artifact Evaluation.

Paper submission can be REGULAR and SHORT: regular papers must not exceed 
16 pages, excluding references, plus 4 pages for the appendix containing
supporting material. Short papers should preferably be limited to 8 pages,
also excluding references. Regarding TOOL papers, the conference will include
the possibility of a demo session for interaction with the authors.

All submitted papers must be unpublished and not be submitted for publication
elsewhere. Papers should be submitted electronically using EasyChair [2].
Springer encourages authors to include their ORCIDs in their papers. Authors
should consult Springer's authors' guidelines [0] and use Springer's LaTeX
templates [1] for the preparation of their papers.



Publications


All accepted papers will be presented and discussed at the conference by one
of the authors. The QEST 2022 proceedings will be published in the Springer
LNCS series and indexed by ISI Web of Science, Scopus, ACM Digital Library,
dblp, Google Scholar. All submitted papers will be evaluated by at least three
reviewers on the basis of their originality, technical quality, scientific or
practical contribution to the state of the art, methodology, clarity, and
adequacy of references.


===
Artifact Evaluation
===

Reproducibility of experimental results is crucial to foster an atmosphere of
trustworthy, open, and reusable research. To improve and reward
reproducibility, QEST 2022 includes a dedicated Artifact Evaluation (AE). 
Submission of an artifact is mandatory for tool papers (both regular and short), 
and optional but encouraged for theoretical/methodological and application 
papers where it can support the results presented in the paper. Artifacts will 
be reviewed concurrently with the 

[TYPES/announce] Call for contributions - 11th Conference on Geometric and Topological Methods in Computer Science

[Eric Goubault]

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

GETCO 2022 – 11th International Conference on Geometric and Topological Methods 
in Computer Science

GETCO 2022 will take place in Paris from May 30th to June 3rd 2022, see 
https://urldefense.com/v3/__https://www.lix.polytechnique.fr/*smimram/getco22/__;fg!!IBzWLUs!AVXR4UyrkrG0u27S-BQp_9JW2gGQKPvXXvD7PGtO29b2GhKtHQt-b4WoxEmnoSMij_bS3zsj4cBG0w$
  
 

The Geometric and Topological Methods in Computer Science (GETCO) conference 
series focus on applications of algebraic topology in computer science with 
special emphasis in concurrency, distributed computing, networking and other 
situations related to systems of sequential computers that communicate with 
each other. It is aimed at mathematicians and computer scientists working in or 
interested in these subjects, including researchers and graduate students. The 
aim of the conference is to exchange ideas and to initiate or expand research 
collaborations.

Special emphasis will be on

directed topology, concurrency and distributed computing
geometric aspects of logics, higher categories and rewriting
dynamical/hybrid/control systems and robotics
topological persistence theory
Participation

The conference is hybrid. Onsite participation is encouraged, but an option for 
online participation will be provided.

Registration is free but mandatory on the dedicated form 
.

Submissions

The conference will feature contributed talks. Important dates are

submission: 31 March 2022
notification: 15 April 2022
The submissions should consist in free-form abstracts (longer submissions are 
also accepted) and be uploaded on the dedicated easychair page 
.

There is no imposed format.

Venue

The conference will take place at EPITA School of Engineering and Computer 
Science 
 located 14-16 rue Voltaire 94270 Le Kremlin-Bicêtre (just at the south 
border of Paris)


Publication

A special issue of a journal will be dedicated to selected papers from the 
conference.


Organization

Scientific committee

Ulrich Fahrenberg 
, EPITA, France
Lisbeth Fajstrup 
, Aalborg University, Denmark
Eric Goubault 
, École polytechnique, France
Samuel Mimram 
, École polytechnique, France
Marian Mrozek 
, Jagiellonian University, Poland
Steve Oudot 
, École polytechnique, France
Sergio Rajsbaum 
, Universidad Nacional Autonoma de Mexico
Martin Raussen 
, Aalborg University, Denmark
Organizing committee

Cameron Calk
Eric Goubault
Roman Kniazev
Samuel Mimram