Newsarchiv: Computer Engineering
Jahr 2011
2011 International Conference "Philology in the Digital Age" of the Text Encoding Initiative (TEI 2011), 10.10-16.10.2011, Würzburg
13.07.2011: Mit einem Vortrag von M. Andert, J. Ritter und P. Molitor zu dem Thema "A web-based application for rapid annotation of TEI documents"
Fachtagung "Brief-Edition im digitalen Zeitalter", 5.10-7.10.2011, Weimar.
15.06.2011: Auf der von der Klassik Stiftung Weimar, dem Goethe- und Schiller-Archiv und der Kommission für die Edition von Texten seit dem 18. Jahrhundert in der Arbeitsgemeinschaft für Germanistische Edtion veranstalteten Fachtagung halten W. Lukas, W. Rasch, J. Ritter einen Vortrag zu dem Thema Gutzkows Korrespondenz. Probleme und Profile eines Editionsprojektes.
Workshop der Rail Automation Graduate School (RAGS) am 23.06.2011
01.06.2011: Der Workshop der von Siemens ins Leben gerufenen Rail Automation Graduate School findet erstmalig am Institut für Informatik statt, mit den Vorträgen:
- T. Mangels: Symbolic Test Case Generation - Handling of Inner Funstion Calls.
- D. Klar: Modellbasierte Diagnose von Bahnsicherungssystemen.
- J. Feuser: GOPPRR und GOPPRRCL - Neue Formalismen zur Beschreibung von grafischen Metamodellen für sicherheitskritische Systeme.
- H. Günther: Verifikation von GALS-Systemen.
- A. Gießler: Roadmap und erste Überdeckungsmaße.
COMPUTERWOCHE
20.05.2011: Prof. Dr. Paul Molitor im Interview zu dem Berufsbild des Technischen Informatikers
Neue Bachelorarbeiten am Lehrstuhl für Technische Informatik
16.02.2011: Studierende finden die Ausschreibungen unter dem unten angebenen Link. Bei Interesse bitte bei dem vorgesehenen Betreuer vorsprechen.
Jahr 2010
14. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
31.12.2010: 21.02-23.02.2011, OFFIS - Institut für Informatik, Oldenburg. Vorstellung der Arbeit André Gießler, Jörg Ritter, Paul Molitor. BDD based analysis of test cases for PLC based railway interlocking systems.
Prüfungstermine zum Modul Einführung in die Technische Informatik
20.09.2010: Datum: 30.09.2010
Prüfer: Prof. Dr. Paul Molitor
Beitrag über das Chipkarten-Projekt des Lehrstuhls im Fachmagazin für kontaktlosen Datentransfer erschienen
13.04.2010: RFID IM BLICK, Das Fachmagazin für Kontaktlosen Datentransfer, berichtet in ihrer Ausgabe 01/2010 unter dem Titel "Authentifizierung mit Single-sign-on - Universität Halle entwickelt Hybridkarte mit Open-Source-Software" über ein am Lehrstuhl laufendes Projekt.
International Conference on Algorithmic Aspects in Information and Management (AAIM 2010), Shangdong University, Weihai, China.
30.03.2010: The paper "Finding Good Tours for Huge Euclidean TSP Instances by Iterative Backbone Contraction" authored by C. Ernst, G. Jäger, D. Richter, and P. Molitor will be presented at AAIM 2010, July 2010
Jahr 2009
Kolloquiumsvortrag am Institut für Informatik der Universität Bayreuth
29.10.2009:
Vortragender: Paul Molitor
Thema: Effiziente Heuristiken für große Instanzen des Traveling Salesman Problems
New best tours for Traveling-Salesman-Problem benchmarks
26.08.2009: For detailed Information, please follow the link.
17th Annual European Symposium on Algorithms (ESA), September 7-9 2009, Copenhagen, Denmark
04.06.2009: Presentation of the paper Complete Parsimony Haplotype Inference Problem and Algorithms authored by Gerold Jaeger, Sharlee Climer and Weixiong Zhang