Aspekte der formalen und mathematischen Logik stehen im Mittelpunkt der Tagung "Logic Colloquium 2002", die vom 3. bis 9. August 2002 an der Universität Münster stattfindet. Über 200 Teilnehmer aus allen Erdteilen werden zu dieser Jahrestagung der Fachgesellschaft "Association for Symbolic Logic" (ASL) erwartet. Ausgerichtet wird die Konferenz, die in den beiden Vorjahren in Wien und Paris stattfand, vom Institut für Mathematische Logik und Grundlagenforschung der Westfälischen Wilhelms-Universität.
Das Spektrum der Themen, mit denen sich die weltweite Fachgesellschaft ASL beschäftigt, reicht von großen Unendlichkeiten bis hin zu Problemen der automatischen Erstellung und Verifizierung von Computerprogrammen. Das Tagungsprogramm in Münster umfasst neben 14 Hauptvorträgen international renommierter Wissenschaftler vier Tutorials zu den Schwerpunktgebieten Beweistheorie, Theoretische Informatik, Modelltheorie und Mengenlehre. In drei Spezialveranstaltungen aus den Bereichen Berechenbarkeitstheorie, Nicht-Monotone Logiken und Mengenlehre berichten eingeladene Wissenschaftler über ihre neuesten Ergebnisse. Darüber hinaus haben alle Teilnehmer die Möglichkeit, ihre Forschungsergebnisse in Kurzvorträgen oder in Form von Postern vorzustellen.
Im Anschluss an diese Konferenz wird ebenfalls in Münster eine zweitägige Tagung der "Deutschen Vereinigung für Mathematische Logik und Grundlagen der exakten Wissenschaften" (DVMLG) stattfinden. Auch für diese Veranstaltung konnten renommierte Referenten aus Japan, den USA, England, Spanien und den Niederlanden gewonnen werden.
http://wwwmath.uni-muenster.de/LC2002/
Criteria of this press release:
Mathematics, Physics / astronomy
transregional, national
Miscellaneous scientific news/publications, Scientific conferences
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).