Meldungen von vor April 2008

Datum Meldung
21.05.2008 Kolloquium:
Prof. Dr. Ulrich Frank (Uni Duisburg/Essen) spricht "Zur Konfiguration von Forschungsmethoden für die Wirtschaftsinformatik"
13.12.2007 HERKULES:
Vortrag: GI Regional + IT-Stadt Koblenz
27.09.2007 Die Gesundheitskarte:
Vortrag von Volker Scheuble, Vorstand VITA X
15.-16.07.2007 VERIFY'07:
The 4th International Verification Workshop findet in Bremen bei der International Conference on Automated Deduction (CADE) statt. Bernhard Beckert ist Workshop und Program Chair.
03.07.2007 KeY-Tutorial auf der IFM 2007:
Bei der Konferenz "Integrated Formal Methods" in Oxford wird es ein Tutorial zum KeY-System geben.
29.06.2007 Nacht der Informatik:
Informatik mit allen Sinnen
21.06.2007 Ambient Intelligence:
Prof. Dr. Wehn (TU Kaiserslautern) spricht auf Einladung der GI Regionalgruppe Deutsches Eck
14.06.2007 Die Bedeutung der Logik für die Wirtschaftsinformatik:
Vortrag im Rahmen des Oberseminars KI/Logik
26.04.2007 Business Management and Sales -Identity & Security Solutions:
Vortrag von Herbert Ernst, Siemens AG
16.04.2007 Campus News on air:
Projekt der AGKI findet Einsatz auf dem Campus
26.-27.03.2007 Deduktionstreffen 2007:
Das Jahrestreffen der Fachgruppe Deduktionssysteme in der GI findet in Form eines Workshops auf dem Campus Koblenz statt
09.03.2007 Uli Furbach zum Beauftragten der Universität Koblenz-Landau für Angelegenheiten der Deutschen Forschungsgemeinschaft ernannt:
Die DFG-Beauftragten erfüllen die Aufgaben der DFG-Vertrauensdozenten.
22.02.2007 Obersseminar KI:
Dipl. Inform. Vladimir Klebanov: "The KeY System and Its Deduction Component" und Björn Pelzer: "System Description: E-KRHyper - A Hypertableaux Theorem Prover"
16.02.2007 Oberseminar KI:
Dipl. Inform. Christoph Gladisch: Testing by Combining Deduction-based Specification Extraction and Black-box Testing
23.01.2007 Uli Furbach neuer Sprecher des Fachbereichs KI der GI:
04.01.2007 Focus-Online über Künstliche Intelligenz:
In der Ausgabe vom 4.1.2007 berichtet das Online-Magazin "Focus Online" über die Projekte der Arbeitsgruppe Künstliche Intelligenz an der Universität Koblenz.
27.09.2006 Symposion "Spielewelten":
27.06.2006 50 Jahre Künstliche Intelligenz:
c't-Artikel, in dem u. A. über den Vortrag von Prof. Dr. U. Furbach bei der KI-Jahrestagung in Bremen berichtet wurde (c't 14/2006).
05.05.2006 Gewinner der UniINFO-Verlosung:
Der Gewinner der UniINFO-Verlosung wurde ausgelost.
11.03.2006 Presse: Informatiker vom Eck in Osaka:
Beim "Papst der Roboterforschung" studieren: Dieser Traum geht im Oktober 2006 für drei Studenten der Koblenzer Universität in Erfüllung. Sie werden sechs Monate lang in Osaka lernen und forschen. Ihr Kommilitone Heni Ben Amor macht schon jetzt neue Erfahrungen in Japan.
18.02.2006 Wissen, was drin steckt:
Infostand des FB 4 beim Vorentscheid zu "Jugend forscht"
16.02.2006 Infoveranstaltung Austausch Osaka:
14.15 Uhr B016
16.02.2006 Infoveranstaltung Austausch Osaka:
14.15 Uhr B016
12.01.2006 Deutsch-Japanischer Austausch der Universitäten Koblenz und Osaka:
DAAD fördert mit 3 Teil-Stipendien
13.-20.06.2006 Live vom RoboCup:
2 Koblenzer Teams bei der WM in Bremen
14.07.2006 Nacht der Informatik:
Was Sie schon immer über Informatik wissen wollten ...
14. - 17.09.2005 FTP 2005:
International Workshop on First-Order Theorem Proving
14. - 17.09.2005 Tableaux 2005:
Automated Reasoning with Analytic Tableaux and Related Methods
11.-14. Sep. 2005 KI 2005:
28th German Conference on Artificial Intelligence
11.-13.09. 2005 MATES 2005:
Third German Conference on Multi-Agent System TEchnologieS
9. + 10.09.2005 Beyond The Horizon:
Engineering and Quality Workshop: Assurance of Software-Intensive Systems
7.-9. Sep. 2005 SEFM 2005:
3rd International Conference on Software Engineering and Formal Methods.
24.05.2005 Koblenzer Studenten zu Tagung in die USA eingeladen:
Die beiden Koblenzer Informatik-Studenten Heni Ben Amor und Achim Rettinger werden im Juni an der international renommierten Konferenz GECCO 2005 in Washington D.C. teilnehmen und dort ein von ihnen neu entwickeltes Verfahren, das evolutuonäre Prozesse im Computer simuliert, vorstellen.
16. - 30.04.2005 RoboCup-Team auf dem - Siegertreppchen:
Team der AG KI belegt in Paderborn in der Simulationsliga Platz 3
16.04.2005 RoboCup-Team auf dem - Siegertreppchen:
Team der AG KI belegt in Paderborn in der Simulationsliga Platz 3
09.03.2005 Scharf auf Fakten, Themen, Trends - wizScreen scannt mehr als 4000 Nachrichtenquellen:
Die wizAI Solutions GmbH präsentiert ihr neues Nachrichtenmonitoring-System wizScreen auf der CeBIT 2005.
12.11.2004 Presse: Für Roboter-Forschung nach Japan:
Es ist das Dorado der Roboter: Mit einem Stipendium wird der Koblenzer Informatik-Student Joschka Bödecker im technikverrückten Japan ein Praktikum bei Professor Minoru Asada absolvieren, der als renommiertester japanischer Roboterforscher gilt
12.11.2004 Presse:
Uni-Campus wird zum Mekka für Informatiker
17.08.2004 'IASON ':
Genehmigung des Projektes
14.07.2004 Juniorprofessuren:
Ankündigung der Antrittsvorlesungen in der RheinZeitung
15.06.2004 RoboCup 2004:
RZ über das Team RoboLog in Lissabon
03.04.2004 German Open 2004:
RheinZeitung über das Team RoboLog
04.03.2004 Technologiebeirat des Landes Rheinland-Pfalz:
Berufung von Ulrich Furbach
27.02.2004 Abschliessende Präsentation von In2Math:
Gemeinsamer Workshop für alle Projekte des BMBF-Programms "Neue Medien in der Bildung"
13.12.2003 Juniorprofessuren:
RheinZeitung über die Besetzung von fünf neuen Professuren
12.12.2003 Juniorprofessur:
Bericht des Südwestfernsehen (MPEG Video 8.7 MB)
12.12.2003 Universität und Juniorprofessur:
Bericht des Südwestfernsehen (MPEG Video 39.4 MB)
06.11.2003 GI Regionalgruppe Deutsches Eck:
Gründungsveranstaltung im historischen Rathaussaal der Stadt Koblenz
01.09.2003 Ulrich Furbach wird ECCAI-Fellow:
Wahl durch das ECCAI
08.02. 2003 Living Book in der RZ:
RZ über Living Book und die Präsentation auf der Learntec in Karlsruhe
06.02.2003 Ulrich Furbach über Living Book:
Interview mit Ulrich Furbach (MPEG Audio 1.9 MB)
22.01.2003 Internetliga für virtuellen Fussball:
Artikel über die neu eingerichtete Liga
18.10.2002 Simulationsliga und Ligapokal:
Erstes Turnier und Workshop in Koblenz
17.10.2002 Living Book auf der Buchmesse:
RheinZeitung über die Präsentation in Frankfurt
06.02.2002 Präsentation des E-Book:
RheinZeitung über die Präsentation auf der Learntec in Karlsruhe
Dezember 2001 Squash:
RZ-Artikel: "Der Prof und sein erstes Mal"
25.06.2001 RoboCup 2001:
RheinZeitung über die Weltmeisterschaft in Seattle
13.06.2001 Team Robolog in Seattle:
Stadtanzeiger berichtet über Teilnahme an Weltmeisterschaft
12.05.2001 Neuer Campus - Neue Technnik:
Bericht des Südwest-Fernsehen (MPEG Video 39.5 MB)
21.02.2001 In2Math:
Radio Interview mit Ulrich Furbach (MPEG Audio 5.5 MB)
02.02.2001 Neuer Campus in Koblenz-Metternich:
Radio Interview mit Ulrich Furbach (MPEG Audio 1.9 MB)
16.08.2000 Team Robolog:
Bericht des ARD-Morgenmagazins (MPEG Video 23.5 MB)
16.08.2000 Radio Interview:
Frieder Stolzenburg über das Team Robolog (MPEG Audio 1.6 MB)
08.08.2000 Team Robolog vs Virtual Werder:
Sendung von N3 zum Testspiel (MPEG Video 68.6 MB)
08.08.2000 RoboCup 2000:
RheinZeitung über die Weltmeisterschaft in Melbourne
08.07.2000 EuroboCup 2000:
RheinZeitung über Roboter-Fussball-Meisterschaft in Amstersdam
Mai 2000 Nina-Robot:
Bericht des Südwest-Fernsehen (MPEG Video 14 MB)
14.02.2000 Slicing Book:
Informatiker koordinieren EU-weites Projekt (RZ-Artikel)
Sommer 1999 Künstliche Intelligenz:
Radio Interview mit Ulrich Furbach (RealAudio 2.7 MB)
05.02.1999 Künstliche Intelligenz:
Koblenzer Forscher ganz vorn (Artikel in der RZ)
22.02.1999 Robolog:
Report vom Südwest-Fernsehen (MPEG Video 10.6 MB)
23.11.1998 DAAD-Auszeichnung:
RZ über Auszeichnung für Wenjin Lue
09.11.1998 Nachwuchsförderpreis:
RZ über Auszeichnung für Bernd Thomas
last modified Nov 15, 2010 03:30 PM

Kontakt