[TYPES/announce] Call for extended abstracts: Languages for Inference 2022 (LAFI'22)

[Jean-Baptiste Tristan]

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

Call for Extended Abstracts

=

 Call for Extended Abstracts

  LAFI 2022
 POPL 2022 workshop on Languages for Inference

January 16, 2022
  
https://urldefense.com/v3/__https://popl22.sigplan.org/home/lafi-2022__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM2_ovmoPw$
 

   Submission deadline on October 15, 2021!



* Submission Summary *

Deadline: October 15, 2021 (AoE)

Link: 
https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM0QZJ5BWw$
 

Format: extended abstract (2 pages + references)

* Call for Extended Abstracts *

Inference concerns re-calibrating program parameters based on observed
data, and has gained wide traction in machine learning and data science.
Inference can be driven by probabilistic analysis and simulation, and
through back-propagation and differentiation. Languages for inference offer
built-in support for expressing probabilistic models and inference methods
as programs, to ease reasoning, use, and reuse. The recent rise of
practical implementations as well as research activity in inference-based
programming has renewed the need for semantics to help us share insights
and innovations.

This workshop aims to bring programming-language and machine-learning
researchers together to advance all aspects of languages for inference.
Topics include but are not limited to:

   -

   design of programming languages for inference and/or differentiable
   programming;
   -

   inference algorithms for probabilistic programming languages, including
   ones that incorporate automatic differentiation;
   -

   automatic differentiation algorithms for differentiable programming
   languages;
   -

   probabilistic generative modeling and inference;
   -

   variational and differential modeling and inference;
   -

   semantics (axiomatic, operational, denotational, games, etc) and types
   for inference and/or differentiable programming;
   -

   efficient and correct implementation;
   -

   and last but not least, applications of inference and/or differentiable
   programming.

We expect this workshop to be informal, and our goal is to foster
collaboration and establish common ground. Thus, the proceedings will not
be a formal or archival publication, and we expect to spend only a portion
of the workshop day on traditional research talks. Nevertheless, as a
concrete basis for fruitful discussions, we call for extended abstracts
describing specific and ideally ongoing work on probabilistic and
differential programming languages, semantics, and systems.

* Submission guidelines *

Submission deadline on October 15, 2021 (AoE)

Submission link: 
https://urldefense.com/v3/__https://lafi22.hotcrp.com/__;!!IBzWLUs!BMDu21e5s7dUb1mpczYYKC2ua77kE2ZWOuUKCY4Q1qIlH0lR7eoNqE5KWsuL9b6mKQnaiM0QZJ5BWw$
 

Anonymous extended abstracts are up to 2 pages in PDF format, excluding
references.

In line with the SIGPLAN Republication Policy, inclusion of extended
abstracts in the program is not intended to preclude later formal
publication.

-- 
Jean-Baptiste Tristan
Associate Professor
Computer Science Department
Boston College
Website 

[TYPES/announce] Postdoc position: Formal Methods (Munich, Germany)

[Gunther Reißig]

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

We invite applications for a post-doctoral researcher position in the
field of formal methods, in Munich, Germany, the city
of the Oktoberfest. The successful candidate is expected to advance
the state of the art of abstraction-based synthesis and verification
and to extend existing synthesis software. Depending on background and
interests of the candidate, possible research foci are: automated
determination of error bounds for floating-point implementations of
numerical algorithms; parallelizable on-the-fly synthesis algorithms;
adaptive state discretization; input/output languages and problem
specific compiler for synthesis software.

Required qualifications:
* PhD degree in Computer Science, Systems and Control, Mathematics,
  or a related field. Exceptionally qualified and experienced
  candidates with an MSc degree will also be considered.
* Solid experience in one of the following fields: Set-valued
  numerics; validated floating-point arithmetic; dynamic programming;
  formal methods; reachability analysis; software development.
* Programming proficiency (C or Ada).
* Efficient communication skills in English.

The position is full-time and paid according to pay scale ``TVOeD
Bund, E 14''. Actual income depends on marital status and professional
experience, and starts from EUR 33000 net p.a. (E-13/EUR 31000 for
applicants with an MSc degree). Reimbursement for travel expenses to
conferences. No teaching load. The position is available immediately
and for a duration until April 2023. It is open to applicants
worldwide; no special security clearance necessary.

Your complete application consists of the following documents, which
should be sent as a single PDF file to the email address given below
(deadline: September 19, 2021):

* CV
* One-page cover letter (clearly indicating available start date as
  well as relevant qualifications, experience and motivation)
* University certificates and transcripts (BSc, MSc and PhD degrees)
* Up to three letters of recommendation
* List of publications
* Possibly an English language certificate

All documents should be in English or German.

Gunther Reissig
https://urldefense.com/v3/__http://www.reiszig.de/gunther/__;!!IBzWLUs!EgjqJNBwkxQajNf9KNtq1VHZe5mDmNadGClXcuNGBg8XbbzKAivNcbY_sPbUIyx4-_c3jb83jy2igA$ 
Email: gunther2...@reiszig.de, Subject: Postdoc ref 9y22x

Bundeswehr University Munich, Germany
Department of Aerospace Engineering
Institute of Control Engineering

[TYPES/announce] IFL'21 final call for participation

[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://urldefense.com/v3/__https://ifl21.cs.ru.nl__;!!IBzWLUs!CUUOamf3xjRt8N37T_MbOQwv6Omni6qDdNPeL_8JUzLLkxAVpcJAOPrZaU0yge_5-xywnH6Z96B6lA$
 






*Registration*


*Registration is **free of charge, but required for participation!* We will
mail the zoom link only to registered participants. Use the below link to
register for IFL 2021:



https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSdMFjo-GumKjk4i7szs7n4DhWqKt96t8ofIqshfQFrf4jnvsA/viewform?usp=sf_link__;!!IBzWLUs!CUUOamf3xjRt8N37T_MbOQwv6Omni6qDdNPeL_8JUzLLkxAVpcJAOPrZaU0yge_5-xywnH4UPOIBQA$
 




*Program*

The program is now available at 
https://urldefense.com/v3/__https://ifl21.cs.ru.nl/Program__;!!IBzWLUs!CUUOamf3xjRt8N37T_MbOQwv6Omni6qDdNPeL_8JUzLLkxAVpcJAOPrZaU0yge_5-xywnH49dWwGdA$
 

.

*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.



*Organisation*

IFL 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The
Netherlands

IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands



*PC*

Peter Achten (co-chair)   - Radboud University, Netherlands

Thomas van Binsbergen - University of Amsterdam, Netherlands

Edwin Brady   - University of St. Andrews, Scotland

Laura Castro  - University of A Coruña, Spain

Youyou Cong   - Tokyo Institute of Technology, Japan

Olaf Chitil   - University of Kent, England

Andy Gill - University of Kansas, USA

Clemens Grelck- University of Amsterdam, Netherlands

John Hughes   - Chalmers University, Sweden

Pieter Koopman (co-chair) - Radboud University, Netherlands

Cynthia Kop   - Radboud University, Netherlands

Jay McCarthey - University of Massachussetts Lowell, USA

Neil Mitchell - Facebook, England

Jan De Muijnck-Hughes - Glasgow University, Scotland

Keiko Nakata  - SAP Innovation Center Potsdam, Germany

Jurriën Stutterheim   - Standard Chartered, Singapore

Simon Thompson- University of Kent, England

Melinda Tóth  - Eötvos Loránd University, Hungary

Phil Trinder  - Glasgow University, Scotland

Meng Wang - University of Bristol, England

Viktória Zsók - Eötvos Loránd University, Hungary
[image: beacon]

[TYPES/announce] Academic positions in cybersecurity, University of Glasgow, UK

[Simon Gay]

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

University of Glasgow - School of Computing Science

Lecturer/ Senior Lecturer/ Reader in Cybersecurity

Salary: 

Grade 7 (Lecturer) £35,845 - £40,322
Grade 8 (Lecturer) £44,045 - £51,034
Grade 9 (Senior Lecturer / Reader) £52,560 - £59,135 per annum.


The University of Glasgow, established in 1451, is a member of the UK's 
Russell Group of leading universities. The University is committed to 
enhancing its position as one of the world's great broad-based 
research-intensive universities.


The School of Computing Science invites applications for the post of 
Lecturer / Senior Lecturer / Reader (based on experience and 
qualifications) in Cybersecurity.


We are particularly interested in applicants with outstanding 
achievements in areas covering embedded and networked systems security 
and resilience, operating systems security, hardware security, data 
privacy, and cryptography.


Applicants with expertise in formal approaches to security, including 
programming language approaches, are welcome.


We have a long-standing record in areas spanning topics related to the 
security and resilience of networked systems, and the security and 
safety for Cyber-Physical Systems (CPS). We have expanded our portfolio 
into hardware security, software verification, IoT privacy as well as 
human-centered and usable security. We are currently hosting two out of 
the nine projects funded nationally by the UKRI digital security by 
design Industrial Strategy Challenge Fund (ISCF) in 2020 to explore 
hardware capabilities in designing secure systems. We have also recently 
been awarded five out of a total of eighteen projects from the 2nd 
Strategic Research Fund (SRF) Funding Call of the PETRAS National Centre 
of Excellence for IoT Systems Cybersecurity. We are hosting the Cyber 
Defence Lab, a unique laboratory facility providing exclusive access to 
a set of safety-critical network infrastructures, hosting data from 
digital twins of several UK critical infrastructures.


You will develop, lead and sustain research of international standard in 
Computing Science; contribute to teaching, assessment, project 
supervision, and curriculum design at undergraduate and postgraduate 
levels; and participate in School management and organisation.


For appointment at Reader you will have an outstanding track record of 
national and international distinction and leadership in research, 
including publications, income and awards, bringing external recognition 
and distinction to yourself and the University.


Two positions are available.

These positions are equivalent to US tenure track Assistant or Associate 
Professor.


For further details please visit: 
https://urldefense.com/v3/__https://www.flipsnack.com/UofGRecruitment/lslr-in-cybersecurity-063667.html__;!!IBzWLUs!FM3O4BKycMScH-tQlob9HOYD2pF5Y1XR1idL3_Xvc8k9uez2btxYFSAH7HN_S2cU_pM16c5YgTmV-Q$ 

We strongly endorse the principles of Athena SWAN, including a 
supportive and flexible working environment, with commitment from all 
levels of the organisation in promoting gender equity. We particularly 
welcome applications from women and other groups who are traditionally 
under-represented in Computing Science.