TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 10232

The Semantics of Information

( 06. Jun – 11. Jun, 2010 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/10232

Organisatoren

Kontakt



Programm

Summary

There have been recent advances in the applications of computer science to several areas of science, including for example,

  • new models of classical and quantum physics, computing and information that have emerged from work relying on category theory and domain theory,
  • the growth from the turn of this century of the application of process algebra and related techniques from concurrency theory - especially those using stochastic models - to biology. This comes under the heading "systems biology", although the term also includes the area of computational science, which uses computers more or less as black box computational devices to generate simulations of biological phenomena, and
  • increasing evidence that the work on game semantics and its application to computation has important features in common with economic game theory.

These advances have simultaneously generated interest in areas of mathematics that underlie the areas of computer science that have been leading these new applications. The Dagstuhl Seminar 10232, Semantics of Information was devoted to talks by researchers in a wide range of disciplines: mathematics, computer science, systems biology, physics, and economic gam theory, all of which explored the relationship of computer science and its theory to their area. Because the participants came from such diverse backgrounds, the seminar included only four talks each day, each of which was an hour in length, allowing large amounts of time for researchers to interact with one another in an informal setting. In addition, we held a problem session on the closing day at which researchers discussed problems they were working on, or that they wanted the participants to consider. The overall aim was to generate collaborations among the participants, hopefully forming bridges between their disparate areas of expertise. The list of talks given below shows the diversity of interests represented at the meeting.

The seminar was the latest instance of a series of meetings with the same theme (cf. http://www.math.tulane.edu~mwm/clifford , http://www.math.tulane.edu/~mwm/WIP2008 and http://www.math.tulane.edu/~mwm/WIP2009), all of which have focused on generating similar interactions between researchers actively investigating the applicability and utility of information.


Teilnehmer
  • Samson Abramsky (University of Oxford, GB) [dblp]
  • Adam Brandenburger (New York University, US) [dblp]
  • Bob Coecke (University of Oxford, GB) [dblp]
  • Tanner Crowder (Naval Research - Washington, US)
  • Johnny Feng (NRL - Washington, US)
  • Jean Goubault-Larrecq (ENS - Cachan, FR) [dblp]
  • Peter Hines (University of York, GB)
  • Karl Heinrich Hofmann (TU Darmstadt, DE)
  • Louis H. Kauffman (University of Illinois - Chicago, US) [dblp]
  • Klaus Keimel (TU Darmstadt, DE) [dblp]
  • Sanjeevi Krishnan (NRL - Washington, US)
  • Jean Krivine (University Paris-Diderot, FR) [dblp]
  • Pierfrancesco La Mura (HHL Leipzig, DE) [dblp]
  • Jimmie D. Lawson (Louisiana State University - Baton Rouge, US) [dblp]
  • Keye Martin (NRL - Washington, US)
  • Jonathan McDonald (Universität Jena, DE)
  • Catherine Meadows (NRL - Washington, US)
  • Michael W. Mislove (Tulane University, US) [dblp]
  • Gordon Plotkin (University of Edinburgh, GB) [dblp]
  • Jamie Vicary (University of Oxford, GB) [dblp]

Verwandte Seminare
  • Dagstuhl-Seminar 12352: Information Flow and Its Applications (2012-08-26 - 2012-08-31) (Details)

Schlagworte
  • Classical and quantum information and computing
  • quantum physics
  • computational chemistry
  • economic game theory
  • security
  • topology
  • category theory
  • domain theory