From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7891 Path: news.gmane.org!not-for-mail From: Helle Hvid Hansen Newsgroups: gmane.science.mathematics.categories Subject: Representing Streams II, Jan 2014, Lorentz Center, Leiden Date: Wed, 16 Oct 2013 11:48:46 +0200 Message-ID: Reply-To: Helle Hvid Hansen NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1381973609 23304 80.91.229.3 (17 Oct 2013 01:33:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 17 Oct 2013 01:33:29 +0000 (UTC) To: categories@mta.ca, concurrency@listserver.tue.nl, logic@math.uni-bonn.de Original-X-From: majordomo@mlist.mta.ca Thu Oct 17 03:33:34 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VWcSx-0006GI-Sv for gsmc-categories@m.gmane.org; Thu, 17 Oct 2013 03:33:32 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:45893) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1VWcR7-0006GD-Tt; Wed, 16 Oct 2013 22:31:37 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1VWcR8-0001Bc-Jf for categories-list@mlist.mta.ca; Wed, 16 Oct 2013 22:31:38 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7891 Archived-At: ** Apologies for multiple copies due to cross-posting ** ** Please forward to colleagues and students who might be interested ** Call for Participation: Representing Streams II ===================================================================== Dates: ------ * Tutorial week: 20-24 Jan 2014 * Workshop week: 27-31 Jan 2014 * Registration deadline: 30 Oct 2013 Location: --------- Lorentz Center, Leiden, The Netherlands: http://www.lorentzcenter.nl. Description: ------------ 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 collaborations. 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 problems. Programme: ---------- Tutorials during the first week will consist of 3x45min lectures plus exercises. Tutorials: * 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 webpage: http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603 Organization: ------------- 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]