edikt Bollig (CNRS, LSV, ENS Paris-Saclay, France)
Edwin Brady (University of St. Andrews, UK)
James Brotherston (University College London, UK)
Krishnendu Chatterjee (IST Austria)
Silvia Crafa (University of Padua, Italy)
Ornela Dardha (University of Glasgow,
in Amsterdam.
Invited speakers
Marieke Huisman (University of Twente, NL)
Johan van Benthem (ILLC University of Amsterdam, NL / Stanford
University, USA)
Co-chairs
Ornela Dardha, University of Glasgow
Giuseppe Perelli, University of Leicester
Program Committee
ngs:
RADICAL will be an informal venue, oriented to interaction, so there will be no
formal proceedings.
== IMPORTANT DATES
** Submission deadline: Friday, July 5, 2019.
** Notification to authors: Friday, 26 July 2019.
** Workshop: Monday, August 26, 2019, in Amsterdam.
== WORKSHOP CO-CHAIRS
Ornela Dardha
ngs:
RADICAL will be an informal venue, oriented to interaction, so there will be no
formal proceedings.
== IMPORTANT DATES
** Submission deadline: Friday, July 5, 2019.
** Notification to authors: Friday, 26 July 2019.
** Workshop: Monday, August 26, 2019, in Amsterdam.
== WORKSHOP CO-CHAIRS
O
the above invited speakers, RADICAL 2019
will feature contributed presentations;
details here https://sites.google.com/site/radicalconcur/Home/programme
<https://sites.google.com/site/radicalconcur/Home/programme>
== WORKSHOP CO-CHAIRS
Ornela Dardha (University of Glasgow, UK)
Gius
s (Reykjavik Univerisity, Iceland)
Duncan Attard (University of Malta, Malta)
Ornela Dardha (University of Glasgow, UK)
*** Further information ***
For further information, please contact the workshop chairs at
mailto:discotec2...@easychair.org>>
: August 31, 2020
== WORKSHOP CO-CHAIRS:
Ornela Dardha (University of Glasgow, UK)
Jurriaan Rot (Radboud University, The Netherlands)
== PROGRAM COMMITTEE:
Pedro R. D'Argenio (University of Cordoba, Argentina)
Stephanie Balzer (Carnegie Mellon University, US)
Valentina Castiglioni (Reykjavik
Notification of accepted demos
* DisCoTec 2020 workshop chairs *
Antonis Achilleos mailto:antonis...@gmail.com>>
(Reykjavik Univerisity, Iceland)
Duncan Attard mailto:duncan.attard...@um.edu.mt>>
(University of Malta, Malta)
Ornela Dardha mailto:ornela.dar...@glasgo
TANT DATES
- Paper submission: July 6, 2020
- Notification date: August 7, 2020
- Camera ready version: August 19, 2020
- Workshop: August 31, 2020
== WORKSHOP CO-CHAIRS:
Ornela Dardha (University of Glasgow, UK)
Jurriaan Rot (Radboud University, The Netherlands)
== PROGRAM COMMITTEE:
Pedro R. D'A
submission: July 6, 2020
- Notification date: August 7, 2020
- Camera ready version: August 19, 2020
- Workshop: August 31, 2020
== WORKSHOP CO-CHAIRS:
Ornela Dardha (University of Glasgow, UK)
Jurriaan Rot (Radboud University, The Netherlands)
== PROGRAM COMMITTEE:
Pedro R. D'Argenio (University of
languages are welcomed. Available
supervisors in this area at the School include (check the PL theme website
https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/
<https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/> for
further details)
* Dr Ornela
for last year’s edition are under preparation and we will
advertise them on the conference’s website as soon as they get published.
COMMITTEES
Program committee chairs
Ferruccio Damiani (ferruccio.dami...@unito.it
<mailto:ferruccio.dami...@unito.it>) (University of Turin, Italy)
Ornela Dardha (
uly 13 - Friday July 16, 2021
Workshop selection committee:
Ornela Dardha ornela.dar...@glasgow.ac.uk
<mailto:ornela.dar...@glasgow.ac.uk>
Gethin Norman gethin.nor...@glasgow.ac.uk
<mailto:gethin.nor...@glasgow.ac.uk>
ruccio.dami...@unito.it) (University of Turin, Italy)
Ornela Dardha (ornela.dar...@glasgow.ac.uk) (University of Glasgow, UK)
Tool track chairs
Giorgio Audrito (University of Turin, Italy)
Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)
Program committee
Zena M. Ariola (University of O
, University of Strathclyde, UK
- Laura Bocchi, University of Kent, UK
- Ornela Dardha, University of Glasgow, UK (Co-chair)
- Cinzia Di Giusto, Université Côte d'Azur, CNRS, I3S, France
- Wen Kokke, The University of Edinburgh, UK
- Robbert Krebbers, Radboud University Nijmegen, Netherlands
- Luca Padovani , U
rchthemes/pl-theme/
<https://www.gla.ac.uk/schools/computing/research/researchthemes/pl-theme/> for
further details)
* Dr Ornela Dardha PL Theme Lead (programming languages foundations, logic,
(session) types for functional/concurrent systems, mechanisation), email
ornela.da
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*
VEST 2021: 2nd Workshop on Verification of Session Types
Online on July 12, 2021, co-located with ICALP 2021
ri (Imperial College, UK)
* Program Committee:
- Robert Atkey, University of Strathclyde, UK
- Laura Bocchi, University of Kent, UK
- Ornela Dardha, University of Glasgow, UK (Co-chair)
- Cinzia Di Giusto, Université Côte d'Azur, CNRS, I3S, France
- Wen Kokke, The University of Edinburgh, UK
- Robb
ivered by:
- David Castro-Perez (University of Kent, UK)
- Francisco Ferreira-Ruiz (Imperial College, UK)
- Lorenzo Gheri (Imperial College, UK)
* Program Committee:
- Robert Atkey, University of Strathclyde, UK
- Laura Bocchi, University of Kent, UK
- Ornela Dardha, University of Glasgow, UK (Co-
ri (Imperial College, UK)
* Program Committee:
- Robert Atkey, University of Strathclyde, UK
- Laura Bocchi, University of Kent, UK
- Ornela Dardha, University of Glasgow, UK (Co-chair)
- Cinzia Di Giusto, Université Côte d'Azur, CNRS, I3S, France
- Wen Kokke, The University of Edinburgh, UK
- Robb
University, IS)
Ornela Dardha (University of Glasgow, UK)
== PROGRAM COMMITTEE:
Ahmed Bouajjani (IRIF and University of Paris Diderot, France)
Valentina Castiglioni (Reykjavik University, Iceland), co-chair
Ornela Dardha (University of Glasgow, UK), co-chair
Yuxin Deng (East China Normal University
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The School of Computing Science at the University of Glasgow is offering
studentships to support PhD research for students starting in 2022.
Up to 13 studentships (of different types) are
ecosystems, by design” working with Dr Ornela
Dardha and industrial partners SingularityNET (Seattle) and Actyx AG (Munich).
The aim of the project is to develop, and mechanise via a proof assistant like
Agda, a unified formal model (Uni-pi) based on the pi-calculus and
session/linear types
23 matches
Mail list logo