MFPS XXXIII/CALCO 2017: Call for Participation - Online Registration Deadline: June 8

MFPS XXXIII/CALCO 2017: Call for Participation - Online Registration Deadline: June 8

[Fabio Zanasi]

=====================================================================

                                 JOINT CALL FOR PARTICIPATION


                                            MFPS XXXIII

33rd Conference on the Mathematical Foundations of Programming Semantics

                                         June 12 - 15, 2017


                                            CALCO 2017

7th International Conference on Algebra and Coalgebra in Computer Science

                                         June 13 - 16, 2017

                                  http://coalg.org/mfps-calco2017

                                        Ljubljana, Slovenia

===================================================================

                          Online Registration deadline: June 8, 2017
                  (After that date, registration will be only available on site)

===================================================================

-- SCOPE --

MFPS conferences are devoted to those areas of mathematics, logic, and computer science that are related to models of computation, in general, and to the semantics of programming languages, in particular. The series has particularly stressed providing a forum where researchers in mathematics and computer science can meet and exchange ideas about problems of common interest. As the series also strives to maintain breadth in its scope, the conference strongly encourages participation by researchers in neighbouring areas.

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. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013) and Nijmegen (the Netherlands, 2015).


-- MFPS INVITED SPEAKERS --

Rehana Patel - Olin College, United States
Laura Kovacs - TU Wien, Austria
Dexter Kozen - Cornell University, United States
Amr Sabry - Indiana University, United States


-- CALCO INVITED SPEAKERS --

Nicoletta Sabadini - University of Insubria, Italy
Alex Simpson -  University of Ljubljana, Slovenia


-- PROGRAMME AND SATELLITE EVENTS --

The detailed programme can be found on the conference web site:

http://coalg.org/mfps-calco2017/schedule.html

*Special sessions*

MFPS will host four special sessions, each with an invited tutorial speaker.

* Algebraic Automata Theory
Invited tutorial by Laure Daviaud - University of Warsaw, Poland.
* Foundations of Network Programming (special session in honour of Dexter Kozen???s 65th Birthday)
Invited tutorial by Nate Foster - Cornell University, United States.
* Advances in Concurrent Program Verification
Invited tutorial by Derek Dreyer - MPI-SWS, Germany.
* Metrics and Privacy (joint MPFS & CALCO Special Session)
Invited tutorial by Ben Worrell - Oxford, United Kingdom.

*CALCO Workshops*

CALCO 2017 will run together with the workshops CALCO Early Ideas and CALCO Tools, with
dedicated sessions at the end of each conference day.

Additional information on CALCO Early Ideas is available at
http://coalg.org/mfps-calco2017/cfp-early-ideas-workshop.html.

Additional information on CALCO Tools is available at
http://coalg.org/mfps-calco2017/cfp-tools-workshop.html.


-- REGISTRATION --

To register for MFPS/CALCO, please fill out the registration form available at

Additional information on registration and hotel information can be found at
http://coalg.org/mfps-calco2017/local-information.html.


-- LOCATION --

Ljubljana is the capital of Slovenia and its largest city. It???s history can be traced back to Roman times, and in the very center, one can still see the remains of Roman walls and villas of the city Emona that once stood there. After a major earthquake hit Ljubljana in 1895, most of the buildings were rebuilt in Italian Baroque and Art Nouveau style, though quite a few buildings, including the castle, survived in their original form. Ljubljanica river runs through the middle of Ljubljana, and especially in pleasant summer evenings, its banks are the perfect place to have a meal or drink.


Ljubljana has a vibrant cultural scene, with numerous exhibitions, theatre plays, concerts and international festivals taking place. Being situated in the middle of Slovenia, Ljubljana is also a perfect starting point for exploring Slovenia. In a single day, you can have either a trip to the Alps, or to the seaside. If you are enthusiastic, you could also do both in the same day! Though, truth be told, you???ll have more than enough to see in Ljubljana alone for the duration of the conference.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]