Im Herbst nächsten Jahres wird die Universität Koblenz-Landau, Campus Koblenz, zum Zentrum von internationalen Wissenschaftlern aus dem Bereich der Künstlichen Intelligenz: nicht weniger als fünf hochrangige Konferenzen und Fachtagungen werden innerhalb von zwei Wochen unter der Leitung von Prof. Dr. Ulrich Furbach und Jun.-Prof. Dr. Bernhard Beckert auf dem Campus der Universität in Metternich stattfinden.
Der ,heiße Herbst' beginnt Anfang September mit der ,International Conference on Software Engineering and Formal Methods' SEFM, die sich mit mathematisch-logischen Methoden zur Entwicklung von Software beschäftigt. Nach Brisbane in Australien 2003 und Peking in diesem Jahr entschied sich der Fachverband IEEE, Deutschland zum Veranstaltungsort für die Konferenz zu machen. Den Bemühungen der Arbeitsgruppe Künstliche Intelligenz am Institut für Informatik ist es zu verdanken, dass die Universität Koblenz-Landau den Zuschlag für die Ausrichtung erhalten hat.
Daran an schließt sich die KI 2005 (11. bis 14. September), die deutsche Jahrestagung zum Thema Künstliche Intelligenz, die bereits zum 28. Mal von der Gesellschaft für Informatik e.V. veranstaltet wird. Direkt im Anschluss treffen sich internationale Wissenschaftler zur Tableaux 2005, der Tagung zur Entwicklung von automatischen Beweisverfahren, die seit 1992 regelmäßig stattfindet und erstmalig seit 1995 wieder nach Deutschland kommt. Parallel zu den Konferenzen werden die Fachtagungen MATES und FTP ebenfalls auf dem Campus der Universität in Metternich stattfinden.
Die Erfahrungen vergangener Jahre haben gezeigt, dass von diesen Veranstaltungen immer wieder wichtige Impulse für die Forschungsarbeit im Bereich Informatik, aber auch für die regionale Wirtschaft ausgingen. In der zweiten und dritten Septemberwoche werden etwa 500 Wissenschaftler aus aller Herren Länder den Campus bevölkern. Genaue Termine für alle Veranstaltungen werden noch bekannt gegeben.
Kontakt:
Universität Koblenz-Landau, Campus Koblenz
Oliver Obst, Tel. 0261/287-2774, E-Mail: fruit@uni-koblenz.de
http://www.uni-koblenz.de/FB4/Institutes/IFI/AGKI - Arbeitsgruppe Künstliche Intelligenz, Campus Koblenz
http://www.iist.unu.edu/SEFM2004/ - Infos zur SEFM 26. - 30. September 2004 in Peking
http://www.itee.uq.edu.au/SEFM03/ - Infos zur SEFM 22. - 27. September 2004 in Brisbane
Criteria of this press release:
Information technology
transregional, national
Miscellaneous scientific news/publications, Scientific conferences, Transfer of Science or Research
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).