Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Colloquium Logicum - Logik-Tagung an der TU Darmstadt

08.09.2008
Internationale und interdisziplinäre Zusammenarbeit

Logik-Tagung an der TU Darmstadt mit 60 Teilnehmern

Von Mittwoch, den 10., bis Freitag, den 12. September 2008, findet im Welcome Hotel Darmstadt das "Colloquium Logicum 2008" der Deutschen Vereinigung für Mathematische Logik und für Grundlagen der Exakten Wissenschaften (DVMLG) statt.

Neben sechs weiteren eingeladenen Hauptvorträgen hält Prof. Dr. Georg Kreisel (Stanford University, Mitglied der Royal Society), einer der Begründer der modernen Logik, einen Vortrag zum 100. Geburtstag von Jacques Herbrand.

Kreisel, geboren 1923 in Graz, war in den 50er Jahren einer der engsten Mitarbeiter von Kurt Gödel am Institute for Advanced Study in Princeton und lehrte von 1962 bis 1985 an der Stanford University.

Die Konferenz wird vom Fachbereich Mathematik der TU Darmstadt von den Professoren Dr. Ulrich Kohlenbach, der auch stellvertretender Vorsitzender der DVMLG ist, Dr. Martin Otto und Dr. Thomas Streicher sowie Dr. Benno van den Berg organisiert.

Finanziell unterstützt wir die Tagung durch die TU Darmstadt, die DVMLG sowie die DFG. Die Organisatoren rechnen mit etwa 60 Teilnehmern. Bei der Tagung stehen vor allem die internationale und interdisziplinäre Zusammenarbeit im Vordergrund.

Die Konferenz "Colloquium Logicum" ist eine zweijährlich stattfindende Veranstaltung der DVMLG, in deren Rahmen auch eine Mitgliederversammlung durchgeführt wird. Die DVMLG widmet sich der Mathematischen Logik in Deutschland und ihrer Zusammenhänge mit anderen Disziplinen, in erster Linie der Philosophie, der Linguistik und der Informatik.

Jörg Feuck | idw
Weitere Informationen:
http://www.tu-darmstadt.de/
http://www.mathematik.tu-darmstadt.de/fbereiche/logik/events/collogicum

Weitere Berichte zu: DFG DVMLG Linguistik Logik Mathematische Logik

Weitere Nachrichten aus der Kategorie Veranstaltungsnachrichten:

nachricht Call for Contributions: Tagung „Lehren und Lernen mit digitalen Medien“
15.12.2017 | Technische Universität Kaiserslautern

nachricht Die Stadt der Zukunft nachhaltig(er) gestalten: inter 3 stellt Projekte auf Konferenz vor
15.12.2017 | inter 3 Institut für Ressourcenmanagement

Alle Nachrichten aus der Kategorie: Veranstaltungsnachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Immunsystem - Blutplättchen können mehr als bislang bekannt

LMU-Mediziner zeigen eine wichtige Funktion von Blutplättchen auf: Sie bewegen sich aktiv und interagieren mit Erregern.

Die aktive Rolle von Blutplättchen bei der Immunabwehr wurde bislang unterschätzt: Sie übernehmen mehr Funktionen als bekannt war. Das zeigt eine Studie von...

Im Focus: First-of-its-kind chemical oscillator offers new level of molecular control

DNA molecules that follow specific instructions could offer more precise molecular control of synthetic chemical systems, a discovery that opens the door for engineers to create molecular machines with new and complex behaviors.

Researchers have created chemical amplifiers and a chemical oscillator using a systematic method that has the potential to embed sophisticated circuit...

Im Focus: Nanostrukturen steuern Wärmetransport: Bayreuther Forscher entdecken Verfahren zur Wärmeregulierung

Der Forschergruppe von Prof. Dr. Markus Retsch an der Universität Bayreuth ist es erstmals gelungen, die von der Temperatur abhängige Wärmeleitfähigkeit mit Hilfe von polymeren Materialien präzise zu steuern. In der Zeitschrift Science Advances werden diese fortschrittlichen, zunächst für Laboruntersuchungen hergestellten Funktionsmaterialien beschrieben. Die hiermit gewonnenen Erkenntnisse sind von großer Relevanz für die Entwicklung neuer Konzepte zur Wärmedämmung.

Von Schmetterlingsflügeln zu neuen Funktionsmaterialien

Im Focus: Lange Speicherung photonischer Quantenbits für globale Teleportation

Wissenschaftler am Max-Planck-Institut für Quantenoptik erreichen mit neuer Speichertechnik für photonische Quantenbits Kohärenzzeiten, welche die weltweite...

Im Focus: Long-lived storage of a photonic qubit for worldwide teleportation

MPQ scientists achieve long storage times for photonic quantum bits which break the lower bound for direct teleportation in a global quantum network.

Concerning the development of quantum memories for the realization of global quantum networks, scientists of the Quantum Dynamics Division led by Professor...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Call for Contributions: Tagung „Lehren und Lernen mit digitalen Medien“

15.12.2017 | Veranstaltungen

Die Stadt der Zukunft nachhaltig(er) gestalten: inter 3 stellt Projekte auf Konferenz vor

15.12.2017 | Veranstaltungen

Mit allen Sinnen! - Sensoren im Automobil

14.12.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Weltrekord: Jülicher Forscher simulieren Quantencomputer mit 46 Qubits

15.12.2017 | Informationstechnologie

Wackelpudding mit Gedächtnis – Verlaufsvorhersage für handelsübliche Lacke

15.12.2017 | Verfahrenstechnologie

Forscher vereinfachen Installation und Programmierung von Robotersystemen

15.12.2017 | Energie und Elektrotechnik