[TYPES/announce] Example of running a conference online BCTCS starting now

[Setzer A.G.]

Dear type theoretits,

if you want to see a conference in theoretical computer science which is running fully online, you can
just have a look at it, it is free via Zoom

http://cs.swansea.ac.uk/bctcs2020/

you might enjoy some talks or just check out how this works out.

Best wishes,
Anton Setzer

________________________________
From: Types-announce <types-announce-bounces at LISTS.SEAS.UPENN.EDU> on behalf of Andrzej Murawski <andrzej.murawski at cs.ox.ac.uk>
Sent: 05 April 2020 11:33
To: types-announce at lists.seas.upenn.edu <types-announce at lists.seas.upenn.edu>
Subject: [TYPES/announce] 4th Workshop on Program Equivalence and Relational Reasoning (PERR 2020)

[ The Types Forum (announcements only),
     https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Flists.seas.upenn.edu%2Fmailman%2Flistinfo%2Ftypes-announce&data=02%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C404bc4758a274f94557108d7d9841280%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C1%7C637217033576540851&sdata=0WZWSQNbFL2f6VX1aPJUW5e2kP7SWfwISZ%2B%2Bad46mDY%3D&reserved=0 ]

PERR 2020: 4TH WORKSHOP ON PROGRAM EQUIVALENCE AND RELATIONAL REASONING

Associated with the 32nd International Conference on Computer-Aided Verification (CAV 2020)
Los Angeles, CA, United States, July 19, 2020

Submission link: https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dperr2020&data=02%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C404bc4758a274f94557108d7d9841280%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C1%7C637217033576540851&sdata=v0GgYJ%2FNvCo0aPPITGFF7AbgccvNo%2BUSihPHYXKhaFA%3D&reserved=0
Submission deadline: April 24, 2020

Given the rapidly evolving situation regarding COVID-19, the date of the workshop may change. Please follow the CAV webpage for details.

WORKSHOP

PERR is an annual international workshop dedicated to the formal verification of program equivalence and related relational problems. It is the 4th in a series of meetings that bring together researchers from different areas interested in equivalence and related questions. Last year's PERR was held as a satellite workshop of ETAPS. PERR 2020 is affiliated with CAV.

Program equivalence is arguably one of the most interesting and at the same time important problems in formal verification. It is a cross-cutting topic that has attracted the interest of several research communities: denotational semantics, deductive software verification, bounded model checking, specification inference, software evolution and regression testing, etc. The goal of the workshop is to stimulate an exchange of ideas to forge a community working on Program Equivalence and Relational Reasoning (PERR).

The workshop welcomes contributions on the topics mentioned below but is also open to new questions regarding program equivalence. This includes related research areas of relational reasoning like program refinement or the verification of hyperproperties, in particular of secure information flow.

AREAS OF INTEREST

- regression verification
- program equivalence
- equivalence of higher order programs
- product programs, relational calculi
- verification of hyperproperties
- program refinement, refinement calculus
- specification of differences between programs
- inferring semantic differences between programs
- transformation validation
- correct compiler transformations
- automata bisimulation
- code equivalence checking in teaching and marking

This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tool presentations. The workshop will have informal online proceedings.

SUBMISSION GUIDELINES

Please submit a short abstract (1-2 pages) of your proposed talk via EasyChair.

- Submission deadline: Friday 24th April 2020
- Submission link: https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dperr20&data=02%7C01%7CA.G.Setzer%40Swansea.ac.uk%7C404bc4758a274f94557108d7d9841280%7Cbbcab52e9fbe43d6a2f39f66c43df268%7C0%7C1%7C637217033576540851&sdata=8gvLlAa%2BOE%2FnV1wymQF4j%2FN9FopG5IW%2BLoUhN22WrRk%3D&reserved=0

PROGRAM COMMITTEE

- Vincent Cheval (INRIA Nancy)
- Constantin Enea (Université de Paris, co-chair)
- Guilhem Jaber (Université de Nantes)
- Nuno Lopes (Microsoft Research Cambridge)
- Andrzej Murawski (University of Oxford, co-chair)
- Damien Pous (CNRS & ENS Lyon)
- Ofer Strichman (Technion)
- Nikos Tzevelekos (Queen Mary University of London)
- Mattias Ulbrich (KIT)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200406/f2c5b697/attachment-0001.html>