Abstract
The FotFS Series
This conference is the seventh in a series called "Foundations of the Formal
Sciences" (FotFS). This is a series of interdisciplinary conferences in mathematics,
philosophy, computer science and linguistics. The main goal is to
reestablish the traditionally strong links between these areas of research that
have been lost in the past decades. FotFS started in 1999 as a small German
workshop in Berlin. Its defining features were present from the very
first meeting onwards: (a) a strong interdisciplinary spirit, (b) a focus on
technical talks that nevertheless reach out to researchers from other communities,
(c) a (non-exclusive) focus on young researchers. After its inaugural
meeting in Berlin, FotFS was funded as a "PhD EuroConference" by the European
Community, the DFG (Deutsche Forschungsgemeinschaft), the BIGS
(Bonn International Graduate School) and the Nederlandse Organisatie voor
Wetenschappelijk Onderzoek (NWO)
We will publish the proceedings of FotFS VII in the series Studies in Logic
published by College Publications of King's College London and edited by K.
Fran¸cois, B. L¨owe, T. M¨uller, and B. Van Kerkhove. All speakers (including
the invited speakers) will be asked to submit a final version of their papers
by
January 24th, 2009.
The submissions will be peer reviewed according to the standards of an international
research journal. The first five FotFS conferences have successfully
published their proceedings:
This conference is the seventh in a series called "Foundations of the Formal
Sciences" (FotFS). This is a series of interdisciplinary conferences in mathematics,
philosophy, computer science and linguistics. The main goal is to
reestablish the traditionally strong links between these areas of research that
have been lost in the past decades. FotFS started in 1999 as a small German
workshop in Berlin. Its defining features were present from the very
first meeting onwards: (a) a strong interdisciplinary spirit, (b) a focus on
technical talks that nevertheless reach out to researchers from other communities,
(c) a (non-exclusive) focus on young researchers. After its inaugural
meeting in Berlin, FotFS was funded as a "PhD EuroConference" by the European
Community, the DFG (Deutsche Forschungsgemeinschaft), the BIGS
(Bonn International Graduate School) and the Nederlandse Organisatie voor
Wetenschappelijk Onderzoek (NWO)
We will publish the proceedings of FotFS VII in the series Studies in Logic
published by College Publications of King's College London and edited by K.
Fran¸cois, B. L¨owe, T. M¨uller, and B. Van Kerkhove. All speakers (including
the invited speakers) will be asked to submit a final version of their papers
by
January 24th, 2009.
The submissions will be peer reviewed according to the standards of an international
research journal. The first five FotFS conferences have successfully
published their proceedings:
| Original language | English |
|---|---|
| Publisher | College Publications |
| Number of pages | 282 |
| Volume | 32 |
| ISBN (Print) | 978-1-84890-049-3 |
| Publication status | Published - 2011 |
Publication series
| Name | Studies in Logic |
|---|
Bibliographical note
Dov GabbayKeywords
- Philosophy of Mathematics