Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

20-31 January 2014, Workshop & Tutorials "Representing Streams II", Leiden, the Netherlands

Date: 20-31 January 2014
Location: Leiden, the Netherlands
Costs: Free

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(January 20-24) and a workshop week (January 27-31). There will be ample time for participants to cooperate on open problems. The goal is not necessarily to solve all of them, but rather learning from each other's approach to these problems.

For more information, see http://www.lorentzcenter.nl/lc/web/2014/603/info.php3?wsid=603.

Please note that this newsitem has been archived, and may contain outdated information or links.