[TYPES/announce] Representing Streams II, Jan 2014, Lorentz Center, Leiden

Helle Hvid Hansen H.H.Hansen at science.ru.nl
Fri Oct 18 06:49:48 EDT 2013

** Apologies for multiple copies due to cross-posting **
** Please forward to colleagues and students who might be interested **

Call for Participation:  Representing Streams II

* Tutorial week: 20-24 Jan 2014
* Workshop week: 27-31 Jan 2014
* Registration deadline: 30 Oct 2013

Lorentz Center, Leiden, The Netherlands: http://www.lorentzcenter.nl.

Streams are infinite sequences of symbols that are studied by both 
mathematicians and computer scientists. Mathematicians are motivated by 
combinatorial problems that arise from number theory or probability. 
Computer scientists are motivated by specifying and reasoning about 
infinite data types and ongoing computations.
    The workshop will bring together researchers from both disciplines 
with the aim to learn from each other, exchange ideas and establish 
    Representing Streams II will consist of a tutorial week and a 
workshop week. In the tutorial week, experts will provide introductory 
lectures to various topics and is not only aimed at PhD students, but 
all researchers who are interested in broadening their horizon, and 
making connections with other areas. In the workshop week, keynote 
speakers and participants will be invited to present results and open 
questions from their field. There will be ample time for participants to 
cooperate on these open problems. The goal is not necessarily to solve 
all of them, but rather learning from each other's approach to these 
   Participation of both weeks, or just one of the two, is possible.

Tutorials during the first week will consist of 3x45min lectures plus 

* Automatic Sequences (Narad Rampersad, Winnipeg)
* Ergodic Theory (Michael Keane, TU Delft)
* From p-Adic Numbers to p-Adic Words (Jean-Eric Pin, Paris/CNRS)
* Streams and Coalgebra (Jan Rutten, CWI Amsterdam & Helle Hvid Hansen, 
RU Nijmegen)
* Tilings and Symbolic Dynamics (Anne Siegel, Rennes/CNRS)

The second, workshop week will consist of keynote talks, contributed 
talks and work sessions.

Keynote speakers:
* Valerie Berthe  (Paris/CNRS)
* Joerg Endrullis (VU Amsterdam)
* Herman Geuvers (RU Nijmegen)
* Neil Ghani (U Strathclyde, Glasgow)
* Michel Rigo (UL Liege)

Participation and costs:
Participation is free, and includes a workshop dinner.
For PhD students, we have a number of student grants available.
For more information, including registration, please visit the workshop 


Joerg Endrullis (VU Amsterdam)
Helle Hvid Hansen (RU Nijmegen & CWI Amsterdam)
Dimitri Hendriks (VU Amsterdam)
Charlene Kalle (U Leiden)
Evgeny Verbitskiy (U Leiden)

Scientific Council:
Jean-Paul Allouche (Paris/CNRS)
Valerie Berthe  (Paris/CNRS)
Robbert Fokkink (TU Delft)
Michael Keane (TU Delft)
Jan Willem Klop (VU Amsterdam)
Jean-Eric Pin (Paris/CNRS)
Michel Rigo (UL Liege)
Jan Rutten (CWI Amsterdam & RU Nijmegen)

More information about the Types-announce mailing list