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

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.