Formal Methods
Z notation
B-Method
Meetings
ZUM
11th International
Conference of
Z
Users
ZUM'98
Here are some links to on-line resources that may be helpful for your
stay in Berlin. We look forward to seeing you at
ZUM'98. See also
the
Call for Participation.
Conference venue:
See also
other airlines and
cheap flights (including an
index of airlines and
UK - Berlin flight prices).
Berlin has three
international airports:
-
Tegel (most western European flights arrive here)
-
Schönefeld
-
Tempelhof
See
airport connections to Berlin.
Deutsche Bahn AG (DB) - see
information in English, including
timetable.
Public transport
Berliner Verkehrsbetriebe (BVG) -
underground (see
map), trams, buses and
ferries.
See especially
connections to Berlins's airports.
See also
S-Bahn Berlin GmbH (in German).