Am 22.6. wurde die Webseite databasetheory.org veröffentlicht, die sich mit den Grundlagen des Datenmanagements (oder kurz: Datenbanktheorie) beschäftigt. Sie bietet aktuelle Informationen über Konferenzen, Stellenangebote und sonstige Neuigkeiten, einen Newsletter und einen Blog. Sie ist durch Initiative und mit Hilfe unseres Lehrstuhles entstanden.

Am Montag, dem 27. Juni 2016, ab 16:15 Uhr findet im Raum OH12-3.031 der 29. Mini-Workshop für theoretische InformatikInformatik statt.

Der Artikel "Transducer-based Rewriting Games for Active XML" von Martin Schuster wurde für das 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) akzeptiert.

Gabriele Kern-Isberner war co-Chair des 16. Internationalen Worshops für Nichtmonotones Schlussfolgern (NMR '16).
Link: http://nmr2016.cs.uct.ac.za/
Hierzu sind die Proceedings erschienen
Link: http://nmr2016.cs.uct.ac.za/proceedings_nmr2016_online.pdf

Daan Apeldoorn ist Jurymitglied in der Sparte Mathematik/Informatik beim Landeswettbewerb "Schüler experimentieren" Rheinland-Pfalz 2016 des deutschen wissenschaftlichen Nachwuchswettbewerbs "Jugend forscht".

Pressemitteilung:

https://www.boehringer-ingelheim.de/presse/archiv_pressemitteilungen/press_releases_2016/29_april_2016_jugendforscht.html

 

Die Arbeit "Order-Invariance of Two-Variable Logic is Decidable" von Frederik Harwath und Thomas Zeume wurde für die Konferenz Logic in Computer Science (LICS), die im Juli 2016 in New York stattfindet, akzeptiert.

Der Artikel "Simulating Human Inferences in the Light of New Information: A Formal Analysis" von Marco Ragni, Christian Eichhorn und Gabriele Kern-Isberner
wurde zur Präsentation auf der 25th International Joint Conference on Artificial Intelligence (IJCAI-16) akzeptiert.

Vom 11.-15.4. fand in Schloss Dagstuhl ein Perspectives-Workshop zum Thema Foundations of Data Management statt. Professor Schwentick war einer der Organisatoren. Das Ziel war es, die Perspektiven des Fachgebietes in einem internationalen Rahmen zu reflektieren und inhaltliche und organisatorische Initiativen für seine Weiterentwicklung anzustoßen. Nähere Informationen finden sich unter: http://www.dagstuhl.de/16151.

gruppenfoto.jpeg

Die Europäische Gemeinschaft hat im April 2015 eine Forschungsaktion mit dem Titel "Reversible computation - extending horizons of computing (IC1405)" im Rahmen des COST-Programmes (www.cost.eu) initiiert,  mit dem Ziel ein Netzwerk von Wissenschaftlern zu schaffen, die im Gebiet des Reversible Computing aktiv sind bzw. aktiv werden möchten. Dadurch können Synergie-Effekte bzgl. Reversible Computing in Europa erreicht werden. Das Netzwerk soll sowohl ein Austausch von Wissen als auch ein gemeinsames Forschen gezielt unterstützen. (Siehe http://www.cost.eu/COST_Actions/ict/Actions/IC1405)

Prof. Claudio Moraga, vom Lehrstuhl 1, Logik in der Informatik wurde kürzlich als Vertreter Deutschlands in den Aktionsrat des Netzwerkes IC1405 berufen, der aus Vertretern der über 25 teilnehmenden Länder besteht.

Reversible Computing ist ein relativ neues Rechenmodell, charakterisiert durch die Möglichkeit des Umkehrens von Rechenabläufen. Programme, die nach diesem Modell erstellt werden, können leichter als herkömmliche Programme getestet und ggfs. korrigiert werden. Auf der Hardware-Ebene können „low-power“ reversible Schaltungen realisiert werden. Weiterhin werden reversible Schaltungen die Grundkomponenten von Quantenrechnern sein, wenn eine Quantentechnologie verfügbar wird.

C_Moraga.jpg

Am 15. und 16. Februar 2016 findet der 71. Workshop über Algorithmen und Komplexität der GI-Fachgruppen Komplexität (KP) und Algorithmen (ALGO) an der Technischen Universität Dortmund statt. Link zum Theorietag

Die DFG fördert das Projekt 'Dynamische Ausdrucksstärke von Logiken' für weitere drei Jahre mit zwei Vollzeitstellen. In dem Projekt der Arbeitsgruppe von Prof. Schwentick am Lehrstuhl 1 soll weiterhin die Aufrechterhaltung von Informationen für sich schnell ändernde Daten im logischen Kontext untersucht werden.

In vielen aktuellen Datenmanagementszenarien unterliegen Daten ständigen Änderungen ,auf die oft umgehend reagiert werden muss. Beispielsweise
müssen beim Ausfall eines Verteilungsknoten im Internet kurzfristig andere Wege für Datenpakete gefunden werden. Auch der Datenbestand von
Suchmaschinen erneuert sich fortwährend, etwa durch aktualisierte Nachrichten.

Für Anwendungen mit großen Datenbeständen ist es aus Effizienzgründen häufig kaum möglich, nach jeder Änderung die von Benutzern
benötigten Informationen von Grund auf neu zu berechnen. Allerdings lassen sich bereits berechnete Informationen oft mit geringerem
Ressourcenaufwand aktualisieren. So benötigen viele dynamische Algorithmen im Vergleich zu statischen Algorithmen weniger Zeit, um dem
Benutzer aktualiserte Resultate zur Verfügung zu stellen.

Das Problem der Aufrechterhaltung von Informationen wird in diesem Projekt jedoch nicht algorithmisch sondern in einem logischen Kontext betrachtet. Die zur Aktualisierung nötigen Operationen werden deklarativ spezifiziert.

In der ersten Projektphase von 2013-2016 war es gelungen, zusammen mit Koautoren, die seit 20 Jahren offene Frage, ob das Erreichbarkeitsproblem in Graphen mit den Mitteln der Prädikatenlogik erster Stufe aufrechterhalten werden kann, positiv zu beantworten. Die sich daraus ergebenden neuen Perspektiven sollen nun eingehend studiert werden.

 

dfg_logo_blau.jpg

Quelle: Deutsche Forschungsgemeinschaft (DFG)

 

Der Artikel "Skeptical Inference Based on C-representations and its Characterization as a Constraint Satisfaction Problem" von Christoph Beierle (FernUniversität Hagen), Christian Eichhorn und Gabriele Kern-Isberner wurde auf dem 9th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2016) akzepiert.

Prof. Dr. Gabriele Kern-Isberner begrüßt am 30.11. und 1.12. Teilnehmer und Interessierte der Forschergruppe HYBRIS zu einem Workshop in Dortmund. Weitere Informationen zur Forschergruppe können der Homepage (https://www.hybrid-reasoning.org/en/) entnommen werden.

Professor Thomas Schwentick (LS 1) ist in den Vorstand (Council)  der European Association for Theoretical Computer Science (EATCS) gewählt worden. Die EATCS ist der europäische Zusammenschluss von Theoretischen Informatikern und veranstaltet unter anderem die jährlich stattfindende Konferenz ICALP (International Colloquium on Automata, Languages and Programming).

Eatcslogo.jpeg

Die Arbeiten "Dynamic Graph Queries" von Pablo Muñoz, Nils Vortmeier und Thomas Zeume sowie "Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation" von Gaetano Geck, Bas Ketsman, Frank Neven und Thomas Schwentick wurden für die International Conference on Database Theory (ICDT), die im März 2016 in Bordeaux stattfindet, akzeptiert.