Der zweite internationale Workshop „Continuity, Computability, Constructiv-ity - From Logic to Algorithms“(CCC 2012) findet vom 29. Mai bis zum 2. Juni am Campus II der Universität Trier statt, organisiert von der Abteilung Informatik/Wirtschaftsinformatik des Fachbereichs IV.

Etwa 35 Wissenschaftler aus acht Ländern tauschen sich über ihre neuesten Forschungsergebnisse im Bereich der „Berechenbaren Analysis“ aus, einem Gebiet an der Schnittstelle zwischen Informatik und Mathematik. Zusätzliche Tutorials erlauben dabei auch einen systematischen Einstieg für Doktoranden.
Der Workshop ist Teil des EU-Projekts „COMPUTAL“, das den wissen-schaftlichen Austausch auf dem Gebiet der berechenbaren Analysis zwischen der EU, Südafrika, Russland und Japan fördert. Im Anschluss an den Work-shop werden daher zehn Wissenschaftler zu einem längeren Forschungsauf-enthalt bei Prof. Dr. Norbert Müller in Trier bleiben.

Weitere Informationen unter <link http: computal.uni-trier.de _blank external-link-new-window>computal.uni-trier.de.