From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9908 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Henning Basold Newsgroups: gmane.science.mathematics.categories Subject: CALCO 2019 and MFPS XXXV: Call for Participation and Early Ideas Abstracts Date: Thu, 09 May 2019 16:12:59 -0300 Message-ID: Reply-To: Henning Basold Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="48152"; mail-complaints-to="usenet@blaine.gmane.org" To: Original-X-From: majordomo@mlist.mta.ca Thu May 09 21:14:08 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hOoUa-000CLF-4g for gsmc-categories@m.gmane.org; Thu, 09 May 2019 21:14:08 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:47344) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hOoVo-0003i6-0B; Thu, 09 May 2019 16:15:24 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hOoTT-0004oA-4M for categories-list@mlist.mta.ca; Thu, 09 May 2019 16:12:59 -0300 Content-Language: nl Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9908 Archived-At: ========================================================= 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 * Emanuele D???Osualdo * Alexandra Silva * Fabio Zanasi [For admin and other information see: http://www.mta.ca/~cat-dist/ ]