FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems Vienna, Austria, September 19-21, 2005

	proceedings
	photos

Important Notes

• Registration:

  • Registration details and a registration form are available here.
  • Due to the vacation period, the early registration deadline is September 1, 2005!

• General Hints and Recommendations:

• Since September is typically quite busy in Vienna, with many events and conferences taking place in the city, we recommend that you take care of reserving/booking your accomodation as soon as possible!
• For the same reason we recommend that you make your travel arrangements as early as possible!

• Accomodation:

  • Accomodation for the participants is not organized by FroCoS 2005.
  • However, lists of hotels and pensions close to the conference site as well as other hints and links on accomodation in Vienna are available here.

• Venue:

  • FroCoS 2005 will take place at Vienna University of Technology (TU Wien), A-1040 Vienna (close to the underground stop "Karlsplatz" of the line U4), in the city centre, see here for travelling information.
  • For the precise address of the conference venue, with further details how to get there, see here.

• Travelling to and in Vienna:

  • For travelling to Vienna by plane, by train/bus or by car, see here.
  • For travelling within Vienna which has a very good and dense public transport network see Wiener Linien - Timetable information, Vienna Webservice - Transportation, City map and address finder, Stadtplan mit Adressensuche (in German)).

• Combining FroCoS 2005 with other Scientific Events:

  If you like travelling and are flexible, you might wish to combine FroCoS 2005 with some of the following scientific events in September in Europe:
  • SEFM 2005 (3rd IEEE International Conference on Software Engineering and Formal Methods), Koblenz, Germany, September 7-9, 2005
  • KI 2005 (28th German Conference on Artificial Intelligence), Koblenz, Germany, September 11-14, 2005
  • TABLEAUX 2005 (International Conference on Automated Reasoning with Analytic Tableaux and Related Method), Koblenz, Germany, September 14-17, 2005
  • FTP 2005 (5th International Workshop on First-Order Theorem Proving), Koblenz, Germany, September 15-17, 2005
  • TRENDS-IN-LOGIC-III (International Conference in memoriam Andrzej Mostowski, Helena Rasiowa, Cecylia Rauszer), Warsaw, September 23, Ruciane-Nida, September 24-25, 2005
  • TFP 2005 (Symposium on Trends in Functional Programmin), Tallinn, Estonia, September 23-24, 2005
  • ICFP 2005 (International Conference on Functional Programming), Tallinn, Estonia, September 26-28, 2005
  • GPCE 2005 (4th International Conference on Generative Programming and Component Engineering), Tallinn, Estonia, September 29 - October 1, 2005