[TYPES/announce] MFPS XXXI/CALCO 2015 : Call for Participation

fabio.zanasi at ens-lyon.fr fabio.zanasi at ens-lyon.fr
Tue May 19 09:24:32 EDT 2015


>From June 22, in a galaxy far, far away... https://coalg.org/calco15/images/poster.jpg

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

          JOINT CALL FOR PARTICIPATION  


                      MFPS XXXI

31st Conference on the Mathematical Foundations of Programming Semantics

                 June 22 - 25, 2015

     http://events.cs.bham.ac.uk/mfps31/


		     CALCO 2015

6th International Conference on Algebra and Coalgebra in Computer Science

                 June 24 - 26, 2015

               http://coalg.org/calco15/


          In cooperation with ACM SIGLOG

                Nijmegen, Netherlands

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

       Early registration deadline:    June 14, 2015

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

-- 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) and Warsaw (Poland, 2013).


-- INVITED SPEAKERS --

Invited speaker of MFPS and CALCO

* Andy Pitts - University of Cambridge, UK

MFPS invited speakers

* Thierry Coquand - Chalmers University of Technology, Sweden
* Paul B. Levy - University of Birmingham, UK
* Guy McCusker - University of Bath, UK
* Sam Staton - Radboud University, Nijmegen, NL

CALCO invited speakers

* Chris Heunen - University of Oxford, UK
* Matteo Mio - CNRS, ENS Lyon, FR
* Daniela Petrisan - Radboud University, Nijmegen, NL



-- PROGRAMME AND SATELLITE EVENTS --

The detailed programme will appear soon on the conference web sites:

http://events.cs.bham.ac.uk/mfps31/ (MFPS)    https://coalg.org/calco15/  (CALCO)

*MFPS special sessions*

MFPS will host four special sessions:

* Game semantics, organised by Andrzej Murawski, Warwick
* Concurrent separation logic, organised by Philippa Gardner, Imperial College
* Nominal techniques, organised by Daniela Petrisan, Radboud
* Algebraic effects, organised by Matija Pretnar, Ljubljana

The special session will include an invited tutorial talk, delivered by the session
organiser.

*CALCO Early Ideas workshop*

CALCO 2015 will run together with the CALCO Early Ideas Workshop, with 
dedicated Early Ideas sessions at the end of each conference day. Additional 
information is available at https://coalg.org/calco15/ei.html .



-- REGISTRATION --

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

https://limesurvey.science.ru.nl/index.php/118286/lang-en .

The following registration Fees are applied.

                                Normal     Late
Both MFPS and Calco		
  Non-Students        €230	€250
  Students	          €160	   €180
MFPS only or Calco only		
  Non-Students        €160	€180
  Students	          €100	   €120

SIGLOG members attending MFPS and/or Calco receive a discount on the registration fee: 
€20 for student members, and €30 for professional members. The yearly rate for SIGLOG 
membership is $15 for students, and $25 for professionals.

The deadline for normal registration is Sunday, June 14. After this date, the
 late registration fee will be applied. The registration fee can be paid by bank
 transfer or by credit card (Visa or Mastercard). Payment by bank transfer is 
strongly encouraged. Within the SEPA area, bank transfers are free of change. 

We will be sponsoring 5 free student registrations. Anyone interested please 
contact alexandra at cs.ru.nl. 
We are also proud to be a family-friendly conference: any participant who requires
 support for childcare to be able to attend the conference should contact us. 

Additional information on registration and hotel information can be found at

http://mfpscalco2015.cs.ru.nl/ .


-- LOCATION --

Nijmegen is the oldest city in the Netherlands and celebrated its
2,000th year of existence in 2005. It is situated in the eastern
province of Gelderland, quite near to the German border. The latin
name for Nijmegen, `Noviomagus´, is a reminder of its Roman past.
`Noviomagus´ means `new market´ and refers to the right to hold a
market as granted by the Romans. In the days of Charlemagne, the
city was called `Numaga´; later on, this became `Nieumeghen´ and
`Nimmegen´. However, citizens born and bred in Nijmegen speak
affectionately of `Nimwegen´.

Nijmegen is one of the warmest cities of the Netherlands, especially
during summer, when the highest temperatures in the country are
usually measured in the triangle Roermond – Nijmegen – Eindhoven.
The lack of north-south oriented mountain ranges in Europe make this
area prone to sudden shifts in weather, giving the region a
semi-continental climate.

Conference venue for MFPS/CALCO is the majestic *Art Cinema Lux* 
(http://lux-nijmegen.nl/), located in the city center of Nijmegen.


-- SIGLOG Anti-harassment Policy --

The open exchange of ideas and the freedom of thought and expression
are central to the values and goals of SIGLOG. They require an
environment that recognizes the inherent worth of every person and
group. They flourish in communities that foster mutual understanding
and embrace diversity. For these reasons, SIGLOG is committed to
providing a harassment-free conference experience, and implements the ACM
policy against harassment (see http://www.acm.org/sigs/volunteer_resources/officers_manual/anti-harassment-policy).

Conference participants violating these standards may be sanctioned or
expelled from the meeting, at the discretion of the conference
organizers. Conference organizers are requested to report serious
incidents to the SIGLOG Chair.

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



More information about the Types-announce mailing list