Kolloquium Informatik
Informatik-Kolloquium: Matching Patterns with Variables: A General Framework
We consider a series of natural problems related to the processing of textual data, rooted in areas as diverse as information extraction, bioinformatics, algorithmic learning theory, or formal verification, and see how they can all be formalized within the same framework. In this framework, we say that a pattern α (that is, a string of string-variables and letters from a fixed alphabet Σ ) matches another pattern β if a text T , over Σ , can be obtained both from α and β by uniformly replacing the variables of the two patterns by words over Σ . In the case when β contains no variables, i.e., β = T is a text, a match occurs if β can be obtained from α by uniformly replacing the variables of α by words over Σ . The respective matching problem, i. e., deciding whether two given patterns match, is computationally hard, but efficient algorithms exist for classes of patterns with restricted structure. In this talk, we overview a series of recent results in this area.
Ort: großer Hörsaal Informatik (Takustr. 9, 14195 Berlin) – unter Einhaltung der 2G-Regelung- UND/ODER online via Webex
Kolloquiumsvortrag Prof. Dr. Beishiu Liao
Kolloquiumsvortrag Beishui Liao, Zhejiang University, China
Ort: Takustr. 9, SR 005
Kolloquiumsvortrag Prof. Dr. Jan von Plato
Kolloquiumsvortrag Jan von Plato, Universität Helsinki
Ort: Takustr. 9, SR006
Kolloquiumsvortrag Prof. Dr. Eva-Maria Engelen
Kolloquiumsvortrag Eva-Maria Engelen, Universität Konstanz
Ort: Takustr. 9, SR006
Kolloquiumsvortrag Prof. Dr. Otfried Cheong
Kolloquiumsvortrag Prof. Dr. Otfried Cheong, KAIST.
Ort: Takustr. 9, Raum 053
Kolloquiumsvorträge S. Wimmer und M. Haslbeck
Kolloquiumsvorträge Simon Wimmer und Max Haslbeck, Technische Universität München
Ort: Takustr. 9, SR006
Kolloquiumsvortrag Prof. Kirk Visscher
Kolloquiumsvortrag Kirk Visscher, University of California
Ort: Takustr. 9, gr. Hörsaal
Kolloquiumsvortrag Laura Semini
Kolloquiumsvortrag Laura Semini Universität Pisa
Ort: SR 055, Takustr. 9
Kolloquiumsvortrag Dr. Heiko Dörr
Ort: SR005, Takustr. 9
Vortrag R. Rojas, M. Esponda, C. Binying
Ort: Takustr. 9, SR 006
Kolloquiumsvortrag Hinze
Ort: Takustraße 9, Raum 046
Kolloquiumsvortrag Prof. Dr. Wolfgang Lenzen
Prof. Dr. Wolfgang Lenzen, Universität Osnabrück
Ort: Takustr. 9, Gr. Hörsaal
Kolloquiumsvortrag Dr. Luis A. Pineda
Dr. Luis A. Pineda Cortés, Universidad Nacional Autónoma de México, Departamento de Ciencias de la Computacíon
Ort: Arnimallee 7, SR031
Kolloquiumsvortrag PD Dr. Bernhard Renard
PD Dr. Bernhard Renard, Robert Koch-Institut Berlin
Ort: Takustr. 9, SR 055
Kolloquiumsvortrag Nalepa
Ort: Takustr. 9, Raum 055
Kolloquiumsvortrag Prof. Dr. Kurt Mehlhorn
Prof. Dr. Kurt Mehlhorn Max-Planck-Institut für Informatik, Saarbrücken
Ort: SR 049, Takustr. 9
Kolloquiumsvortrag Dr. Christof Lutteroth
Dr. Christof Lutteroth, University of Auckland, New Zealand
Ort: Takustr. 9, SR 006
Kolloquiumsvortrag Prof. Dr. Aart Middeldorp
Prof. Dr. Aart Middeldorp, Universität Innsbruck
Ort: SR049, Takustr. 9, 14195 Berlin
Kolloquiumsvortrag Prof. Dr. Barbara Webb
Prof. Dr. Barbara Webb, University of Edinburgh
Ort: SR005, Takustr. 9, 14195 Berlin
Kolloquiumsvortrag Dr. Tara Athan
CL2 Structural Semantics Structural Semantics of Common Logic (Edition 2) for Implementation in OntoMaven: Algebraic Structures and Algorithms
Ort: Takustr. 9, Raum 006
Kolloquiumsvortrag Geoff Sutcliffe
Dr. Geoff Sutcliffe, Dept. of Computer Science, University of Miami
Ort: Takustr. 9, Hörsaal
Kolloquiumsvortrag Prof. Dr. Harold Boley
Prof. Dr. Harold Boley, Faculty of Computer Science, University of New Brunswick, Canada
Ort: Takustr. 9, Raum 049
Kolloquiumsvortrag Chr. Benzmüller und B. Woltzenlogel Paleo
Ort: Hörsaal, Takustr. 9
Kolloquiumsvortrag Jasmin Blanchette
Ort: Takustr. 9, SR049 - Kaffee ab 13:45 Uhr im Konferenzraum 137
Kolloquiumsvortrag Gerald Weber
Ort: Takustr. 9, SR049 - Kaffee ab 13:45 Uhr im Konferenzraum 137