March 18 – 23, 2012, Dagstuhl Seminar 12121
Applications of Combinatorial Topology to Computer Science
1 / 2 >
For support, please contact
Art exhibition opens on Monday March 19
All participants are invited to attend after dinner on 7:30 pm
More information here.
In recent years, concepts and techniques adapted from combinatorial and algebraic topology have led to a variety of promising new results in several areas of Computer Science, including distributed computing, sensor networks, semantics of concurrency, robotics, and vision.
The recent Dagstuhl seminar Applications of Combinatorial Topology to Computer Science (12121), brought together researchers in these fields, both to share ideas and experiences, and to establish the basis for a common research community. Because of differences in terminology and academic culture, it is often difficult for researchers in one area to become aware of work in other areas that may rely on similar mathematical techniques, sometimes resulting in duplication of effort. This Dagstuhl seminar provided a valuable opportunity to bring together researchers in both computer science and mathematics who share a common interest in emerging applications of combinatorial topology.
- Data Structures/Algorithms/Complexity
- Semantics / Formal Methods
- Combinatorial topology
- Distributed computing
- Program semantics