3-7 Jun 2019
London, England
=========================================================
CALL FOR PARTICIPATION CALCO 2019 and MFPS XXXV
and
CALL FOR CALCO 2019 EARLY IDEAS
8th International Conference on
Algebra and Coalgebra in Computer Science
and
35th Conference on the
Mathematical Foundations of Programming Semantics
June 3-7, 2019
University College London, UK
https://www.coalg.org/calco-mfps-2019/
Online Registration until 30 May
==========================================================
We are happy to announce that the registration for CALCO and MFPS is
now open. There is some travel support for students and childcare
available.
At the same time, we would also like to encourage submissions to
the Early Ideas track of CALCO.
Details can be found below.
About CALCO and MFPS
------------------------
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
MFPS conferences are dedicated to the areas of mathematics, logic, and
computer science that are related to models of computation in general,
and to semantics of programming languages in particular.
This is a forum where researchers in mathematics and computer science
can meet and exchange ideas. The participation of researchers in
neighbouring areas is strongly encouraged.
INVITED SPEAKERS -- SPECIAL SESSIONS
----------------------------------------
We are pleased to announce the following invited speakers:
* Amal Ahmed, Northeastern University, Boston, US (MFPS)
* Sarah Meiklejohn, University College London, UK (MFPS)
* Stefan Milius, University of Erlangen-Nürnberg, Germany (CALCO)
* Grigore Ro?u, University of Illinois at Urbana-Champaign, US (CALCO)
* Mehrnoosh Sadrzadeh, Queen Mary University of London, UK (CALCO/MFPS)
Joint special session on Coinduction for Verification and Certification
organised by Damien Pous. Speakers:
* Damien Pous, CNRS, ENS Lyon, France
* Chung-Kil Hur, Seoul National University, ROK
* Andrei Popescu, Middlesex University London, UK
MFPS special session on Probability in Proofs, Programming and Privacy
organised by Matteo Mio. Speakers:
* Matteo Mio, CNRS, ENS Lyon, France
* Catuscia Palamidessi, INRIA Saclay and LIX, France
* Henning Basold, CNRS, ENS Lyon, France
MFPS special session on the Verification of Distributed Systems
organised by Vincent Rahli. Speakers:
* Vincent Rahli, Université du Luxembourg, Luxembourg
* Josef Widder, TU Wien, Austria
* Giuliano Losa, Galois, Porland, Oregon, US
CALCO EARLY IDEAS
---------------------
Until 17 May it is still possible to submit abstracts to the early
ideas track of CALCO on EasyChair:
https://easychair.org/conferences/?conf=calco19
Early ideas are abstracts that lead to presentation of work in progress
and original research proposals. PhD students and young researchers
are particularly encouraged to contribute.
Submissions should not exceed 2 pages in the format specified by LIPIcs
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
(Note that there is a new version of the style: lipics-v2019).
The volume of selected abstracts will be made available on arXiv and on
the CALCO pages. Authors will retain copyright, and are also encouraged
to disseminate the results by subsequent publication elsewhere. At least
one of the authors must attend the conference to present the work.
REGISTRATION
----------------
The deadline for online registration is Thursday, 30 May 2019. Note that
it will be possible to register on site, but payment is then only
possible in cash.
Further information and the registration website can be found here:
https://www.coalg.org/calco-mfps-2019/home/registration/
SCHOLARSHIPS
----------------
Student scholarships will be available: please contact Alexandra Silva
and Fabio Zanasi by 25 May with a motivational paragraph for attending
the conference and why you need the funding. Each scholarship provides
a full registration plus expenses for flights and accommodation (agreed
with the organisers).
CHILDCARE
-------------
If you need childcare during the conference please contact Alexandra
Silva and Fabio Zanasi by 25 May so that we can arrange for suitable
support.
HOST CITY AND VENUE
-----------------------
CALCO and MFPS 2019 will take place in London, the pulsating capital
of the United Kingdom. Both conferences will be hosted on the
Bloomsbury Campus of the University College London (UCL).
For special deals for accommodation close to the conference, see
the conference website:
https://www.coalg.org/calco-mfps-2019/location-information/
LOCAL ORGANISERS
-------------------
Please do not hesitate to contact one of the local organisers if you
need further information or assistance for your stay.
* Philippa Gardner <p.gardner@imperial.ac.uk>
* Emanuele D?Osualdo <emanuele.dosualdo@gmail.com>
* Alexandra Silva <alexandra.silva@ucl.ac.uk>
* Fabio Zanasi <f.zanasi@ucl.ac.uk>
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam