[TYPES/announce] Lecture or Senior Lectureship in Computer Science at Swansea University

2023-01-17 Thread Monika Seisenberger 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear Colleagues,

The Computer Science Department at Swansea University has an open position
for a lecturer/senior lecturer position in Computer Science.
Deadline 5th of February 2023.

https://urldefense.com/v3/__https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=130698=158720=QHUFK026203F3VBQB7VLO8NXD=UK=suext__;!!IBzWLUs!QngWrhls_N4VsnvdyFuZpHd_ZRSGHEbQaRoteczmecufk-1PSgpUC5eRHCThV8PshjsGccgq-cmL3Uv1ytbAdElIbcGXWvfBUKfD8n33XptM$
 

Applications in Theoretical Computer Science/Formal Methods are very welcome.
https://urldefense.com/v3/__https://www.swansea.ac.uk/compsci/research-and-impact/__;!!IBzWLUs!QngWrhls_N4VsnvdyFuZpHd_ZRSGHEbQaRoteczmecufk-1PSgpUC5eRHCThV8PshjsGccgq-cmL3Uv1ytbAdElIbcGXWvfBUKfD8nWPJpR6$
 

Kind regards, Monika

--
Dr Monika Seisenberger
Deputy Head of Department
Department of Computer Science
School of Mathematics and Computer Science
Faculty of Science and Engineering
Swansea University
https://urldefense.com/v3/__https://www.cs.swansea.ac.uk/theory/__;!!IBzWLUs!QngWrhls_N4VsnvdyFuZpHd_ZRSGHEbQaRoteczmecufk-1PSgpUC5eRHCThV8PshjsGccgq-cmL3Uv1ytbAdElIbcGXWvfBUKfD8rgNMFgp$

[TYPES/announce] 2023 Alonzo Church Award: Call for Nominations

2023-01-17 Thread Mariangiola Dezani 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

CALL FOR NOMINATIONS

The 2023 Alonzo Church Award for Outstanding Contributions to Logic and 
Computation

INTRODUCTION

An annual award, called the Alonzo Church Award for Outstanding
Contributions to Logic and Computation, was established in 2015 by the
ACM Special Interest Group for Logic and Computation (SIGLOG), the
European Association for Theoretical Computer Science (EATCS), the
European Association for Computer Science Logic (EACSL), and the Kurt
Goedel Society (KGS). The award is for an outstanding contribution
represented by a paper or by a small group of papers published within
the past 25 years. This time span allows the lasting impact and depth
of the contribution to have been established.  The award can be given
to an individual, or to a group of individuals who have collaborated
on the research. For the rules governing this award, see
https://urldefense.com/v3/__https://siglog.org/alonzo-church-award/__;!!IBzWLUs!Qt50stRwgTIFXm5WXc29oxKB8kSH6y90fM9lyEehudUgcAMptQom0vUlIRYB9GxVdEGOSUAWDaiOAELswaMiE0BS9-kp4BgU$
 ,
https://urldefense.com/v3/__https://www.eatcs.org/index.php/church-award/__;!!IBzWLUs!Qt50stRwgTIFXm5WXc29oxKB8kSH6y90fM9lyEehudUgcAMptQom0vUlIRYB9GxVdEGOSUAWDaiOAELswaMiE0BS91Yzl9YI$
 , and 
https://urldefense.com/v3/__https://www.eacsl.org/alonzo-church-award/__;!!IBzWLUs!Qt50stRwgTIFXm5WXc29oxKB8kSH6y90fM9lyEehudUgcAMptQom0vUlIRYB9GxVdEGOSUAWDaiOAELswaMiE0BS96aHRN6N$
  .

The 2022 Alonzo Church Award was given to Dexter Kozen for his ground-
breaking work on the theory and applications of Kleene Algebra with Tests. 
Lists containing this and all previous winners can be found through the links 
above. 

ELIGIBILITY AND NOMINATIONS

The contribution must have appeared in a paper or papers published within
the past 25 years. Thus, for the 2023 award, the cut-off date is January 1,
1998. When a paper has appeared in a conference and then in a journal, the
date of the journal publication will determine the cut-off date. In
addition, the contribution must not yet have received recognition via a
major award, such as the Turing Award, the Kanellakis Award, or the Goedel
Prize. (The nominee(s) may have received such awards for other
contributions.) While the contribution can consist of conference or journal
papers, journal papers will be given a preference.

Nominations for the 2023 award are now being solicited. The nominating
letter must summarise the contribution and make the case that it is
fundamental and outstanding. The nominating letter can have multiple
co-signers. Self-nominations are excluded. Nominations must include: a
proposed citation (up to 25 words); a succinct (100-250 words) description
of the contribution; and a detailed statement (not exceeding four pages) to
justify the nomination. Nominations may also be accompanied by supporting
letters and other evidence of worthiness. Nominations for the 2023 award 
are automatically considered for all future editions of the award, until 
they receive the award or the nominated papers are no longer eligible.

Nominations should be submitted to dez...@di.unito.it and to 
mariangiola.dez...@gmail.com by February 1, 2023.

PRESENTATION OF THE AWARD

The 2023 award will be presented at the 50th EATCS International Colloquium 
on Automata, Languages and Programming, which is scheduled to take place in 
Paderborn - Germany on July 10-14, 2023. The award will be accompanied by 
an invited lecture by the award winner, or by one of the award winners. 
The awardee(s) will receive a  certificate and a cash prize of USD 2,000. 
If there are multiple awardees, this amount will be shared.

AWARD COMMITTEE

The 2023 Alonzo Church Award Committee consists of the following five members: 
Thomas Colcombet, Mariangiola Dezani (chair), Marcelo Fiore, Radha Jagadeesan, 
and 
Igor Walukiewicz.

@

Mariangiola Dezani-Ciancaglini
Dipartimento di Informatica
Universita' di Torino
c.Svizzera 185, 10149 Torino (Italy)

[TYPES/announce] PhD scholarships at University of Kent (UK)

2023-01-17 Thread Marco Paviotti 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear all,

The School of Computing at University of Kent (UK) has a number of PhD 
scholarships available. See the advert below.
PL proposals are strongly encouraged!

Best,
Marco

+---+

  Fully-Funded PhD Studentships

  School of Computing
 University of Kent, UK

  
https://urldefense.com/v3/__https://tinyurl.com/phd-kent__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WF13OEXWQ$
 

+---+

The Programming Languages and Systems (PLAS) group at the University of Kent's
School of Computing invites applications for 3.5-year PhD
scholarships (fully funded for both UK and international students).

Applications are due by the 5th March 2023.

These scholarships include a doctoral stipend (equivalent to the Research
Councils UK National Minimum Doctoral Stipend, £17,668 2022/23 rate, 2023/24 to
be announced), tuition fees and access to further research
support funding. If you are applying as an international candidate, Kent will
waive the difference between Home and International fees.

If you are interested in applying, please contact a potential supervisor (see
list below) as soon as possible, and at least two weeks prior to the closing
date.  If the supervisor wishes to support your application, they will direct
you to make an official application through the KentVision system.

Submit your formal applications through the university admission system by the
5th March 2023. Your application should include a completed online admission
form; the name and contact details of two referees; an original document
providing confirmation of your degree (or a transcript if the degree is not yet
awarded). For non-native English speakers, a certificate of competence in
English is required at IELTS 6.5 or higher, with no element less than 6.0 (or
equivalent).

Programming Languages and Systems Group:
https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WFRsU8N-A$
 

Topics suggested by our group:
https://urldefense.com/v3/__https://research.kent.ac.uk/programming-languages-systems/suggested-phd-projects/__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WGXN03Ygg$
 

Application process, requirements and general enquires:
https://urldefense.com/v3/__https://www.kent.ac.uk/courses/postgraduate/283/computer-science__;!!IBzWLUs!T66LhzawjCBwwphcBzBmG242rOxsBi__FIpAFkvnqgJW7ah-TnW01ENK7hSM95pYVaMRWP9EJ2LJNDG6ipL4WGWJkELM8WGXwMWM1Q$
 

PLAS is a large research group with potential supervisors who work across the
breadth of programming languages and systems research.

   Mark Batty - Concurrency; software verification; systems; relaxed memory;
   programming language semantics and GPU concurrency

   Laura Bocchi - Formal verification; concurrency; real-time and Web APIs

   David Castro-Perez - Cost analysis of concurrent and distributed systems;
   certified DSLs for concurrent and distributed systems and session types

   Olaf Chitil - Tracing semantics; algorithmic debugging; type error
   debugging; compilation and functional programming

   Simon Cooksey - Weak memory models; Low-level systems; Rust and Morello 
architecture

   Rogerio De Lemos - Self-adaptive software systems and operational-time 
processes

   Stefan Kahrs - Expressiveness of programming languages; type systems; term
   rewriting and infinitary rewriting

   Andy King - Abstract interpretation; decompilation and computer algebra

   Stefan Marr - Language implementation techniques; concurrency; parallel
   programming; optimizations; tooling; debugging; virtual machines;
   interpreters and compilation

   Dominic Orchard - Mathematical structure and logical foundations of
   programs; categorical semantics; linear and graded type theories; dependent
   types; behavioural type theories; programming language design; program
   languages and tools for computational science.

   Marco Paviotti - Category theory; functional programming; recursion schemes;
   computational effects; denotational semantics and guarded recursion

   Vineet Rajani - Logic and verification; security properties; resource
   analysis and probabilistic programs

   Michael Vollmer - Haskell; compilers; functional programming and parallel
   programming

+---+

[TYPES/announce] New Undergrad PL Research Internship at Penn

2023-01-17 Thread Joey Velez-Ginorio 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Hi everyone,

Excited to announce a research internship for undergraduates aptly named REPL 
(Research Experiences for Undergraduates in PL). It’s hosted at PLClub 
, Penn’s PL research group.

Students come to Penn for 10 weeks over the summer, doing PL research and 
prepping for a PhD in PL. Students who are a good fit have the following traits:

- Want to pursue a PhD in computer science
- Are a sophomore or junior
- Are URMs in CS
- Have some kind of research-related experience, though not necessarily in 
programming languages
- Have completed coursework or projects involving mathematical proofs and 
programming
- US Citizens, Nationals, or Permanent Residents (per NSF funding stipulations)

Deadline to apply is March 15th. Travel, housing, and a $6,000 stipend 
provided. More complete details can be found on our site: 
https://urldefense.com/v3/__https://penn-repl.github.io__;!!IBzWLUs!U1yTu7cU6xELEhAA4vU9-BzMHhytGNVdDodMq1m9_oEVhGEzMHTQDZR3_iOTrKnHpIzdb4RqRQy1UVeIG3EX7ZVuTqoCd49j0Q$
  


Please let me know if you have any questions. And feel free to put students who 
you think may be a good fit in direct contact with me.

All the best,

Joey

[TYPES/announce] CONFEST 2023 -- 2nd Call for Workshop Proposals

2023-01-17 Thread Emmanuel Filiot 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

* CONFEST 2023 * Sep 18-23 2023, Antwerpen, Belgium

(https://urldefense.com/v3/__https://www.uantwerpen.be/en/conferences/confest-2023/__;!!IBzWLUs!VJQ0mLuxQ6KDjoFopG3X9Y-EjHiw58OiKYnGpsqgtIgEplI-9JKjOmb8OGqCWUM1jCyG4IpFyyty9n1up8hFmG9me6e93A$
 

)


-- 2nd Call for Workshop Proposals --


*Submission deadline* : Feb 02

CONFEST is an umbrella conference comprising four international meetings:



- CONCUR (34th International Conference on Concurrency Theory),

- QEST (20th International Conference on Quantitative Evaluation of
SysTems),

- FORMATS (21st International Conference on Formal Modeling and Analysis of
Timed Systems), and

- FMICS (28th International Conference on Formal Methods for Industrial
Critical Systems).


Researchers and practitioners are invited to submit proposals for ONE DAY

workshops on topics related to theory, formal modeling, verification,
performance evaluation and engineering of concurrent, timed, industrial,
and other systems.

Typically, CONFEST workshops feature a number of invited speakers and a
number of contributed presentations.

The workshops will take place one day before (18 September) and one day
after (23 September) the main conferences.


TOPICS


The purpose of the workshops is to provide participants with a friendly,
stimulating, and interactive atmosphere for

- presenting novel ideas,

- discussing their applications,

- encouraging cross-fertilization between industry and academia, and

- fostering opportunities for young and prospective researchers.

ORGANIZATION

CONFEST’23 is planned as a physical, in-person event, with some support for
remote participation.

In a limited number of cases, there will be remote-participation support
for speakers and for other

participants who are unable to come. Please take this into account when
preparing a workshop

proposal and communicate to participants requiring such support that they
should contact the

organisers of CONFEST explaining their case.



We will provide the following to workshop organisers:


- Meeting rooms on demand


- Coffee breaks, catering for lunch, both are included


- CONFEST'23 website cannot be made accessible for edits by third parties

but workshop organisers can either host their own website and provide a
link to it

that we put on CONFEST website, or they send us their content and we put it
in the website.


- Registration will be centralized by CONFEST.


- Special rates for hotels, which can be found in the website
https://urldefense.com/v3/__https://www.uantwerpen.be/en/conferences/confest-2023/info/__;!!IBzWLUs!VJQ0mLuxQ6KDjoFopG3X9Y-EjHiw58OiKYnGpsqgtIgEplI-9JKjOmb8OGqCWUM1jCyG4IpFyyty9n1up8hFmG94IARSGA$
 ,

as well as further local information about Antwerp.


INSTRUCTIONS FOR PROPOSAL SUBMISSION


Workshop proposals should include:


-  The name and the preferred date of the proposed workshop.



-  The names and contact information (web page, email address) of the
organisers.

-  A short scientific summary and justification of the proposed topic for
the CONFEST community (500 words max).

-  A discussion of the proposed format and agenda.

-  If applicable, a brief description of past versions of the workshop,
including
dates, organisers, submission and acceptance counts, and attendance.

-  Procedures for selecting papers and participants.

-  The publication plan (only invited speakers, no published proceedings,
pre-/post-proceedings published with EPTCS/ENTCS/...).

-  Potentially invited speakers.

-  Tentative schedule for paper submission and notification of acceptance.

The main responsibility for organizing the workshop goes to the workshop
organiser(s), including:

- workshop publicity (possibly including call for papers, submission and
review process)

- scheduling of workshop activities in collaboration with the CONFEST
workshop chair.



Proposals should be sent to Emmanuel Filiot (workshop chair):


efil...@gmail.com

IMPORTANT DATES

  - Submission deadline February 2, 2023

  - Notification February 16, 2023

  - Program of the workshops ready: August 16, 2023


  - Workshops: September 18, 23, 2023

  - CONFEST conferences: September 18-23, 2023

The CONFEST 2023 workshop chair,

Emmanuel Filiot

Université libre de Bruxelles, Belgium

[TYPES/announce] UNIF 2023 Call for Papers

2023-01-17 Thread Christophe Ringeissen 
[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies for multiple copies]

=
   Call for Papers
  UNIF 2023
The 37th International Workshop on Unification
  Rome, Italy, July 2, 2023
   A satellite workshop of CADE/FSCD, affiliated with FSCD
  
https://urldefense.com/v3/__https://project.inria.fr/unif2023__;!!IBzWLUs!Uolg6PwaiJn769ho2He2g7HEmAOIYomZqFPGJbrVX9alWcDQVhogfOVzM6pWf5pVMS0nsevnt5Nu-Y4hAT8-Jb6RiEZ93l40PpfqqsAGmro$
 
=


UNIF 2023 is the 37th event in a series of international meetings
devoted to unification theory and its applications. Unification is
concerned with the problem of identifying terms, finding solutions for
equations, or making formulas equivalent. It is a fundamental process
used in a number of fields of computer science, including automated
reasoning, term rewriting, logic programming, natural language
processing, program analysis, types, etc.

The International Workshop on Unification (UNIF) is a yearly forum for
researchers in unification theory and related fields to meet old and
new colleagues, to present recent (even unfinished) work, and to
discuss new ideas and trends. It is also a good opportunity for young
researchers and scientists working in related areas to get an overview
of the current state of the art in unification theory.


Topics
--
A non-exhaustive list of topics of interest includes:

  * syntactic and equational unification
  * matching
  * constraint solving
  * unification in modal, temporal, and description logics
  * narrowing
  * disunification
  * anti-unification
  * semi-unification
  * higher-order unification
  * complexity issues
  * implementation techniques
  * applications


Submission
--

Short papers or extended abstracts, up to 5 pages in EasyChair style,
should be submitted electronically as PDF files through the EasyChair
submission site:

  
https://urldefense.com/v3/__https://www.easychair.org/conferences/?conf=unif2023__;!!IBzWLUs!Uolg6PwaiJn769ho2He2g7HEmAOIYomZqFPGJbrVX9alWcDQVhogfOVzM6pWf5pVMS0nsevnt5Nu-Y4hAT8-Jb6RiEZ93l40PpfqSuwSAuI$
 

Abstracts will be evaluated by the Program Committee regarding their
significance for the workshop. Accepted abstracts will be presented at
the workshop and included in the informal proceedings of the workshop,
available in electronic form.  Based on the number and quality of
submissions we will decide whether to organize a special journal
issue.


Important Dates
---
  * Paper Submission:  April 21, 2023
  * Author notification: May 26, 2023
  * Final version:   June 9, 2023
  * UNIF 2023:   July 2, 2023