[TYPES/announce] Call for participation: CSL 2020

[Fernandez, Maria Isabel]

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

==
Call for Participation
==
Computer Science Logic 2020
Barcelona, Catalonia, Spain
January 13 - 16, 2020

http://www.cs.upc.edu/csl2020
==

The European Association for Computer Science Logic, the department of
Computer Science of the Universitat Politècnica de Catalunya, and the
Institut de Matemàtiques de la Universitat de Barcelona kindly invite
you to participate in the 2020 edition of CSL that will be held in
Barcelona from Mon Jan 13 to Thu Jan 16, 2020.

# The Conference

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). It is an
interdisciplinary conference spanning across both basic and
application oriented research in mathematical logic and computer
science. CSL 2020 will be the 28th edition in the series. Please note
that CSL has moved from its former August/September slot and that CSL
2020 is the first conference in the series that takes place in January.

## Invited Speakers

Véronique Cortier, LORIA, France
Anuj Dawar, University of Cambridge, UK
Artur Jeż, University of Wroclaw, Poland
Delia Kesner, University Paris Diderot, France
Iddo Tzameret, Royal Holloway, UK

## Programme

Thirty-two contributions were selected for presentation at CSL 2020. A
full list is available at http://www.cs.upc.edu/csl2020/program.html .

## Registration

To register, please follow the link and information provided on the
CSL website http://www.cs.upc.edu/csl2020/registration.html .

Note the early registration deadline: THURSDAY, DECEMBER 5, 2019.

For any questions please contact Albert Atserias (atserias at-sign
cs.upc.edu) or Juan Carlos Martínez (jcmartinez at-sign 
ub.edu).

==

---
Professor Maribel Fernandez
Department of Informatics, King’s College London
Strand Campus, Bush House, 30 Aldwych
London WC2B 4BG
https://www.nms.kcl.ac.uk/maribel.fernandez

[TYPES/announce] Open Position: Lecturer in Cybersecurity - University of Exeter

[Achim D. Brucker]

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

Dear all,

As part of the expansion of the Department of Computer Science [1] at
the University of Exeter, we are recruiting for a Lecturer in
Cybersecurity. The lecturer will be part of the newly formed Security
and Trust of Advanced Systems Group [2].  This is a *unique*
opportunity to join a new group and to influence its future research
and teaching.

Application in all areas of cybersecurity are welcome, and we are
particularly encouraging people working in the intersection of
security and formal aspects of computer science (e.g., formal methods,
verification, type systems, programming languages, language-based
security, logic) to apply.

Please apply by 12th of December 2019! See the full announcement and 
application details at

https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=566815Qrwu=3817591jNg

Feel free to contact me for informal inquires about the post.

Best,
Achim 

[1] https://www.exeter.ac.uk/computer-science/
[2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/

-- 
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of 
Exeter
   https://www.brucker.ch | https://logicalhacking.com/blog
 @adbrucker | @logicalhacking

[TYPES/announce] Multiple postdoc and PhD positions on verification, concurrency and model learning at University College London and Royal Holloway University of London (Deadline Jan 5, 2020)

[Matteo Sammartino]

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

We invite applications for:

  - *two* Research Fellow/Senior Research Fellow positions (Deadline: January 
5, 2020). Positions are 1 year in the first instance, with the possibility of 
extension until December 2022. One position will be at University College 
London, and one at Royal Holloway University of London.

  - *one* PhD studentship at UCL.

Successful applicants will be working on the EPSRC-funded "Verification of 
Hardware Concurrency via Model Learning" (CLeVer) project.

This is a joint research endeavour involving the Computer Science Departments 
of two UK's leading research-intensive universities -- University College 
London and Royal Holloway University of London -- and ARM, world-leading 
designer of multi-core chips.

We are looking for candidates with experience in one or more of the following 
areas: model learning techniques, verification, concurrency, and formal 
methods. Experience in tool implementation will also be valued.


# HOW TO APPLY


- Applications for *both* the (Senior) Research Fellow positions should be made 
here before *January 5, 2020*:

https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5041404=fair=1847641_template=965=1


- Applications for the PhD position should be made here:

https://www.ucl.ac.uk/prospective-students/graduate/apply



Interested applicants are encouraged to contact Prof. Alexandra Silva 
(alexandra.si...@ucl.ac.uk) and Dr. Matteo Sammartino (m.sammart...@ucl.ac.uk).


# ABOUT THE PROJECT

Digital devices increasingly rely on multi-threaded computation, with 
sophisticated concurrent behaviour becoming prevalent at any scale.
As the complexity of these systems increases, there is a pressing need to 
automate the assessment of their correctness, especially with respect to 
concurrency-related aspects.

Formal verification provides highly effective techniques to assess the 
correctness of systems.
However, formal models are usually built by humans, and as such can be 
error-prone and inaccurate. 

This project aims to:

- develop a verification framework that relies on learning techniques to 
automatically build and verify models of concurrency, with a particular focus 
on multi-core systems.

- apply the framework to industrial verification tasks, in collaboration with 
ARM.


The project will provide opportunities for both theoretical and applied 
research in several areas of Computer Science, including model learning 
techniques, verification, concurrency, and formal methods.

[TYPES/announce] NL-FP Day 2020: 28th Netherlands Functional Programming Day, Amsterdam, January 10, 2020

[Clemens Grelck]

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


===
   NL-FP Day 2020

  28th Netherlands Functional Programming Day

 Friday, January 10, 2020
  University of Amsterdam
Amsterdam, The Netherlands

  CALL FOR TALK PROPOSALS
  CALL FOR PARTICIPATION

https://sites.google.com/view/nl-fp-day-2020/home

   sponsored by
  University of Amsterdam
   Informatics Institute
===


The Netherlands Functional Programming Day is an annual gathering of
researchers, students, and practitioners sharing a common interest in
functional programming. The day features talks that cover the latest
advances in research, teaching and applications in the area of
functional programming and (implementation of) functional languages.

Coffee and lunch breaks provide ample opportunity for networking with
your colleagues and meeting new people. Experts and newcomers to the
field are equally welcome.

Colleagues from neighboring countries are more than welcome to attend;
the language of the FP Day is English.


Talk proposals:
---
The FP Day consists of a number of contributed talks. Work in progress
talks are just as welcome as talks about mature work recently presented
at international conferences.

Please, upload your talk proposals via EasyChair:
 https://easychair.org/my/conference?conf=nlfp2020
including a short abstract for the FP Day programme.

*Deadline: December 13, 2019*


Registration:
-
Participation is free of charge, but registration is required:
 https://forms.gle/rA7XaqH7nCVUouk18

*Deadline: December 20, 2019*


Dinner:
---
As usual, the NL-FP Day ends with a dinner in a near-by restaurant.
The dinner is optional and at your own cost.


Location:
-
We meet in the historic Doelenzaal of the Amsterdam University Library
(Universiteitsbibliotheek Amsterdam) right in the heart of Amsterdam.

The street address is Singel 425. This is a 20-minute walk from Amsterdam
Centraal. Alternatively, you can take tram lines #2 to Nieuw Sloten, #11 to
Surinameplein or #12 to Amstelstation and alight at tram stop Koningsplein.
Look back from where the tram came and you see the Amsterdam University
Library right in front of you.


Organiser:
--
Clemens Grelck, University of Amsterdam, c.gre...@uva.nl



--
--
Dr Clemens Grelck Science Park 904
Associate Professor   1098XH Amsterdam
Programme Director Software EngineeringNetherlands

University of Amsterdam
Institute for InformaticsT +31 (0) 20 525 8683
System and Network Engineering Lab   F +31 (0) 20 525 7490

Office C3.109 staff.fnwi.uva.nl/c.u.grelck
--

[TYPES/announce] Postdoctoral researcher in Computer Science (Security and Trust)

[Ross James HORNE]

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

Dear colleague,

The University of Luxembourg offer a competitive postdoctoral research position 
in the area of security and trust. We encourage applications, in particular, 
from experts in formal methods applied to protocols, including types and 
processes calculi; however we also encourage experts in other aspects of 
security, such as network security, to apply.


The successful candidate would be expected to both integrate into the SaToSS 
research group and stake out their own research direction.

Recent research in the SaToSS group includes: the formal analysis of distance 
bounding protocols (used to avoid relay attacks), the analysis of unlinkability 
vulnerabilities in e-passport protocols, the analysis of the impact of Sybils 
on anonymity in social networks, and cyber-security risk analysis using attack 
trees.


Start: Early 2020.
Apply here: https://tinyurl.com/suzxujp
More info on Euraxes: https://euraxess.ec.europa.eu/jobs/456305
and also the position also appears here: http://satoss.uni.lu/vacancies/

The University of Luxembourg is an equal opportunities employer. Please do not 
hesitate to contact us with further questions.

Sincerely,


Dr. Ross Horne,
research associate, Computer Science, University of Luxembourg
ross.ho...@uni.lu

Prof. Dr. Sjouke Mauw,
professor, SnT and Computer Science, University of Luxembourg
sjouke.m...@uni.lu