From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7894 Path: news.gmane.org!not-for-mail From: Helle Hvid Hansen Newsgroups: gmane.comp.science.concurrency,gmane.science.mathematics.categories Subject: Representing Streams II, Jan 2014, Lorentz Center, Leiden Date: Wed, 16 Oct 2013 11:48:46 +0200 Message-ID: <525E60FE.605@cwi.nl> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1382171296 4533 80.91.229.3 (19 Oct 2013 08:28:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 19 Oct 2013 08:28:16 +0000 (UTC) To: categories-59hdLBrVOVU@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org Original-X-From: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Sat Oct 19 10:28:20 2013 Return-path: Envelope-to: gcsc-concurrency@m.gmane.org Original-Received: from mailhost.tue.nl ([131.155.2.19]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VXRtT-0005ge-UY for gcsc-concurrency@m.gmane.org; Sat, 19 Oct 2013 10:28:20 +0200 Original-Received: from pastinakel.tue.nl (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id A488C730CB; Sat, 19 Oct 2013 10:28:18 +0200 (CEST) X-Virus-Scanned: amavisd-new at tue.nl Original-Received: from mailhost.tue.nl ([131.155.2.19]) by pastinakel.tue.nl (pastinakel.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id WTAa5RL+85sp; Sat, 19 Oct 2013 10:28:18 +0200 (CEST) Original-Received: from stentor.tue.nl (stentor.tue.nl [131.155.2.50]) by mailhost.tue.nl (Postfix) with ESMTP id 4F6B873069; Sat, 19 Oct 2013 10:28:18 +0200 (CEST) Original-Received: from mx1.tue.nl (mx1.tue.nl [131.155.2.7]) by stentor.tue.nl (Postfix) with ESMTP id BE2479B443 for ; Wed, 16 Oct 2013 11:48:48 +0200 (CEST) X-Virus-Scanned: amavisd-new at tue.nl Original-Received: from mx1.tue.nl ([131.155.2.7]) by bommelstein.tue.nl (bommelstein.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id TnN5lSRgtB-B for ; Wed, 16 Oct 2013 11:48:48 +0200 (CEST) Original-Received: from filter1-ams.mf.surf.net (filter1-ams.mf.surf.net [192.87.102.69]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.tue.nl (Postfix) with ESMTPS id 8829A18140C for ; Wed, 16 Oct 2013 11:48:48 +0200 (CEST) Original-Received: from smeltpunt.science.ru.nl (smeltpunt.science.ru.nl [131.174.16.143]) by filter1-ams.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id r9G9mlSf021781 for ; Wed, 16 Oct 2013 11:48:48 +0200 Original-Received: from [131.174.138.68] (hellepc.science.ru.nl [131.174.138.68]) by smeltpunt.science.ru.nl (8.13.7/5.32) with ESMTP id r9G9mkmd029844; Wed, 16 Oct 2013 11:48:46 +0200 (MEST) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130330 Thunderbird/17.0.5 X-Spam-Score: -2.00 () [Tag at 5.00] SPF(none:0), CC(NL:-0.5), RBL(RPRL-ham:-1.0), RBL(SURFnet:-0.5) X-Scanned-By: CanIt (www . roaringpenguin . com) on 192.87.102.69 X-Scanned-By: MIMEDefang 2.63 on 131.174.16.143 X-Bayes-Prob: 0.0001 (Score 0, tokens from: @@RPTN) X-CanIt-Geo: ip=131.174.16.143; country=NL; region=03; city=Nijmegen; latitude=51.8333; longitude=5.8667; http://maps.google.com/maps?q=51.8333,5.8667&z=6 X-CanItPRO-Stream: tue:concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org (inherits from tue:Tue-rules, tue:default, base:default) X-Canit-Stats-ID: 0NKBJMLaG - 9438eadf558b - 20131016 (trained as not-spam) X-Antispam-Training-Forget: https://www.mf.surf.net/canit/b.php?i=0NKBJMLaG&m=9438eadf558b&t=20131016&c=f X-Antispam-Training-Nonspam: https://www.mf.surf.net/canit/b.php?i=0NKBJMLaG&m=9438eadf558b&t=20131016&c=n X-Antispam-Training-Spam: https://www.mf.surf.net/canit/b.php?i=0NKBJMLaG&m=9438eadf558b&t=20131016&c=s X-Mailman-Approved-At: Sat, 19 Oct 2013 10:28:16 +0200 X-BeenThere: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Concurrency mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Original-Sender: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Errors-To: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Xref: news.gmane.org gmane.comp.science.concurrency:3534 gmane.science.mathematics.categories:7894 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) _______________________________________________ Concurrency mailing list Concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org http://listserver.tue.nl/mailman/listinfo/concurrency