Vier Mitglieder der Arbeitsgruppe LogiDAC nehmen in dieser Woche an der Konferenz Highlights of Logic, Games and Automata teil. Gaetano Geck, Martin Schuster und Nils Vortmeier beteiligen sich durch Vorträge, Thomas Schwentick leitete das Programmkomitee. 

homepage-foto-2.jpg

Für seine Dissertation Small Dynamic Complexity Classes wurde Dr. Thomas
Zeume mit dem E.W. Beth Dissertationspreis 2016 ausgezeichnet. Der E.W. Beth Dissertationspreis wird jährlich von der Association for Logic, Language and Information vergeben (http://www.folli.info/). Weitere Information zu diesem Preis finden sich unter en.wikipedia.org/wiki/E._W._Beth_Dissertation_Prize.

Die Auszeichnung für 2016 wurde am 23. August bei der European Summer School in Logic, Language and Information in Bozen überreicht.

In der ausgezeichneten Dissertation untersuchte Dr. Zeume einerseits die Struktur kleiner dynamischer Komplexitätsklassen sowie deren Beziehung zu klassischen, statischen Komplexitätsklassen. Andererseits entwickelte er neue Methoden, die die Grenzen der Ausdrucksstärke von Logiken in dynamischen Szenarien aufzeigen. Betreut wurde Dr. Zeume in seiner Promotionszeit von
Prof. Thomas Schwentick.

IMG_20160823_155643136.jpg

Der Artikel "Using Answer Set Programming in an Order-picking System with Cellular Transport Vehicles" von Steffen Schieweck, Gabriele Kern-Isberner und Michael ten Hompel wurde zur Präsentation und Veröffentlichung auf der 2016 IEEE International Conference on Industrial Engineering and Engineering Management akzeptiert.

  Frau Prof. Dr. Gabriele Kern-Isberner wird vom 19.9.-7.10.2016 als Visiting Professor an die Macquarie University, Sydney, Australia, gehen.

Der Artikel "Simulating Human Inferences in the Light of New Information: A Formal Analysis"
von Marco Ragni, Christian Eichhorn und Gabriele Kern-Isberner ist in den
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI\'16)
erschienen.

  1. Marco Ragni, Christian Eichhorn and Gabriele Kern-Isberner.
    Simulating Human Inferences in the Light of New Information: A Formal Analysis.
    In Subbarao Kambhampati (ed.). Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16). 2016, 2604–2610.
    BibTeX

    @inproceedings{RagniEichhornKernIsberner2016,
    	author = "Ragni, Marco AND Eichhorn, Christian AND Kern-Isberner, Gabriele",
    	title = "Simulating Human Inferences in the Light of New Information: A Formal Analysis",
    	booktitle = "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16)",
    	year = 2016,
    	editor = "Kambhampati, Subbarao",
    	pages = "2604--2610",
    	address = "Palo Alto, CA, USA",
    	publisher = "AAAI Press"
    }
    

Link zum Paper: http://www.ijcai.org/Proceedings/16/Papers/370.pdf

Bei der 35. ACM-Konferenz "Principles of Database Systems" (PODS 2016)
wurde die Arbeit "Two-variable logic on data trees and XML reasoning" mit dem "ACM PODS Alberto O. Mendelzon Test-of-Time Award 2016" ausgezeichnet.
Die Arbeit wurde von Thomas Schwentick (Lehrstuhl 1) zusammen mit seinen Kollegen Mikołaj Bojańczyk, Claire David, Anca Muscholl, und Luc Segoufin verfasst.

Die Laudatio des Award Committees [1] sagt: "The authors introduced an influential new approach to the modeling of XML trees with data values. This means that not only purely structural queries, but also queries involving joins can be modeled. The new ap- proach unifies earlier results, and has led to many new results, on the automated verification of XML queries under integrity constraints. The paper has been highly influential both in database and automata theory. Because database theory research on XML has greatly benefitted from an automata-theoretic approach, it is satisfying to see the circle completed in this respect." 

[1] http://dl.acm.org/citation.cfm?id=2902251

Thomas-Schwentick-160.jpg

  1. Christian Eichhorn, Matthias Fey and Gabriele Kern-Isberner.
    CP- and OCF-networks – a comparison.
    Fuzzy Sets and Systems 298:109 - 127, 2016.
    URL, DOI BibTeX

    @article{Eichhorn2016109,
    	title = "CP- and OCF-networks – a comparison",
    	journal = "Fuzzy Sets and Systems",
    	volume = 298,
    	pages = "109 - 127",
    	year = 2016,
    	note = "Special Issue on Graded Logical Approaches and Their Applications",
    	issn = "0165-0114",
    	doi = "http://dx.doi.org/10.1016/j.fss.2016.04.006",
    	url = "http://www.sciencedirect.com/science/article/pii/S0165011416300999",
    	author = "Christian Eichhorn and Matthias Fey and Gabriele Kern-Isberner"
    }
    

Link zum Paper: http://www.sciencedirect.com/science/article/pii/S0165011416300999

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