DOCSLIB.ORG

999 € 7 Days 18 Bamberg to Regensburg 2 Bike & Barge Tours Europe #B1/2416

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
999 € 7 Days 18 Bamberg to Regensburg 2 Bike & Barge Tours Europe #B1/2416 Full Itinerary and Tour details for Bamberg to Regensburg 7-day Bike & Barge Tour (LBF) Prices starting from. Trip Duration. Max Passengers. 999 € 7 days 18 Start and Finish. Activity Level. Bamberg to Regensburg 2 Experience. Tour Code. Bike & Barge Tours Europe #B1/2416 Bamberg to Regensburg 7-day Bike & Barge Tour (LBF) Tour Details and Description Test your bike skills on this self paced journey and tour through some of the oldest cities and regions of Bavaria from early morning until sunset. Visit Bamberg - a world class city port. Discover Erlangen - "the beer city of Germany" and while you are there enjoy some locally brewed beers. Wander around medieval Nurnberg. Take in Bavarian landscapes from a sundeck and bike through one of Germany's most beautiful bike routes “The Regnitz Radweg”. Tour along valleys, canals and of course the blue river Danube. A day tour takes you to Freystadt, where you can visit the pilgrim church of “Mari Hilf Wallfahrtskirche” - a baroque monument in the middle of flowering fields. On your last day a city tour of medieval Regensburg where you can stop and do some last minute shopping! If you can't keep up get an E- bike! (electronic) - they are fantastic! Ship Category Standard Plus The barge was built in 1929 as a freighter of type 'luxury motor.In 1993 the ship was converted into a passenger ship. She was renovated and rebuilt during winter 2011/2012. It is a great ship to relax after a bike ride. Capacity: max.19 people Cabins: 9 double cabins. All cabins with private bathroom and central heating. Split-level beds. Elec. 220 V The ship complies with the strict safety regulations laid down by the Dutch Shipping Inspection Authorities. On board you find a cosy dining room, a sun deck to relax after your bike tour. All cabins are provided with hot and cold water, private shower and toilet, 220 voltage and central heating. There is limited storage space in the cabin.We recommend 1 suitcase p.p. You can slide the suitcase under the bed once you have unpacked. Check Availability Book Online Now Send an Enquiry 2/5 Bamberg to Regensburg 7-day Bike & Barge Tour (LBF) Do not expect a luxury cruise ship. The Bike and Boat Special diets and vegetarians have to give notice of Holidays are for people who really enjoy the physical this with booking. An extra fee of € 50 can be asked activity of cycling and who value sociability more than for diets wholesale luxury. Families with young children (younger than 12 years old on day of departure) we offer a three person Cycling tour: cabin with a discount of 150 Euros per child The Bavaria Tour is a tour with a lot of historical sites to see, taking cyclists through beautiful national parks. It cannot be rated as an easy tour; every day you will bike small parts of the tour on semi-paved paths, towing paths and asphalted sideroads with some hilly stretches. The tour is more challenging than bike and barge tours in Holland or Belgium. Guided cycling tour: On May 23 and 20 June, cycling tour may be guided. Included in the Bike and Barge Tour: Journey and accommodation on board 7 days/ 6 nights (Saturday-Friday) 6 x Breakfast, 6 x lunch packet, 6 x dinner on board * Use of bed sheets, towels (daily towel change possible) Tour guide who bikes along, guided city tour Guided city tours in Bamberg and Regensburg (2019 only, on guided tours) Coffee and tea on board in the afternoon Itinerary Port and lock fees Not included in the tour: Day 1 Transfer from and to the ship Parking space for your car. Bamberg On Arrival the crew of your barge welcomes Drinks on board you on board ship at 2P.M in Bamberg. It is here, Excursions where you are going to test your bike in the green sites of the city. Afterwards you will explore the older Bicycle rent: normal bike €85; e-bike (limited parts of the city with your tour guide. availability €200) - please book through our office at [email protected] Day 2 Check Availability Book Online Now Send an Enquiry 3/5 Bamberg to Regensburg 7-day Bike & Barge Tour (LBF) Riedenburg to Regensburg (Cycling approx. 55km) A Bamberg to Erlangen (cycling approx. 55km) After final bike ride down part of the Main Danube bike breakfast you will cycle through the canal valley to path and that will bring us to Kelheim - a small city Hausen. Then onto the Regnitz valley where you will situated at the crossing of the canal and the always ride on one of Germany's most beautiful bike routes blue Danube River. Then journey on to the medieval “the Regnitz-Radweg”. Along the way a stop over at town of Regensburg. one of the local beer gardens - “Biergartens” for a piece of pie and a beer. A final stop at Erlangen - the Day 7 beer city of Germany, where you will spend the night. Regensburg After a hearty breakfast you can Day 3 participate in a city tour, or you can do some last minute shopping in this beautiful town. At 12pm the Erlangen to Nurnberg to Hilpoltstein (cycling approx. barge crew will say goodbye!. NOTE: 2019 Bike tours 34km) Short early morning cruise to the city of on 13 Jul and 27 Jul will be self-guided Nûrnberg. Here you can wander around the medieval parts of the town or visit the remains of the Second World War, including the buildings of the Nurnburger trails. After visiting Nürnberg you will cycle along one of the oldest canals in the world -the original Main Danube canal with its 101locks. In the afternoon a bike ride through the national park of Rothsee to Hilpoltstein. Day 4 Hilpoltstein to Beilngreis (Cycling approx. 48km) Your day tour begins in the town of Freystadt with a visit to a baroque church the “Maria-Hilf-Wallfahrtskirche”, In the afternoon you will continue your bike tour to Beilngries, with its historical city centre and own locally brewed beer. Day 5 Beilngries to Riedenburg (Cycling approx. 30km) Today the Altmuhltal National Park is on the agenda and you will pass by the old King Ludwig canal that once flowed through this valley. The bike tour will end in Riedenburg Day 6 Check Availability Book Online Now Send an Enquiry 4/5 WHY SLOW TOURS EUROPE? Slow Tours offers a selection of tours in Europe for unique experiences, active or relaxed, so you return home feeling relaxed, refreshed & re-energised. Connect with the locals, take time to genuinely experience another culture, relax with the easy flow of life, enjoy fresh air and freedom from crowds. Savour the experience of our hand-picked tours of Europe! 3 BIG BENEFITS OF BOOKING WITH US Don't take our word for it Visit our Reviews page to learn why a Slow Tour is the Best Tour! slowtours.com/blog/reviews Have some questions? Find the answers on our Q&A page. slowtours.com/questions-and-answers.
Load more

Recommended publications
  • Beyond the Boat
    Beyond the Boat RIVER CRUISE EXTENSION TOURS Welcome! We know the gift of travel is a valuable experience that connects people and places in many special ways. When tourism closed its doors during the difficult months of the COVID-19 outbreak, Germany ranked as the second safest country in the world by the London Deep Knowled- ge Group, furthering its trust as a destination. When you are ready to explore, river cruises continue to be a great way of traveling around Germany and this handy brochure provides tour ideas for those looking to venture beyond the boat or plan a stand-alone dream trip to Bavaria. The special tips inside capture the spirit of Bavaria – traditio- nally different and full of surprises. Safe travel planning! bavaria.by/rivercruise facebook.com/visitbavaria instagram.com/bayern Post your Bavarian experiences at #visitbavaria. Feel free to contact our US-based Bavaria expert Diana Gonzalez: [email protected] TIP: Stay up to date with our trade newsletter. Register at: bavaria.by/newsletter Publisher: Photos: p. 1: istock – bkindler | p. 2: BayTM – Peter von Felbert, Gert Krautbauer | p. 3: BayTM – Peter von Felbert, fotolia – BAYERN TOURISMUS herculaneum79 | p. 4/5: BayTM – Peter von Felbert | p. 6: BayTM – Gert Krautbauer | p. 7: BayTM – Peter von Felbert, Gert Kraut- Marketing GmbH bauer (2), Gregor Lengler, Florian Trykowski (2), Burg Rabenstein | p. 8: BayTM – Gert Krautbauer | p. 9: FC Bayern München, Arabellastr. 17 Burg Rabenstein, fotolia – atira | p. 10: BayTM – Peter von Felbert | p. 11: Käthe Wohlfahrt | p. 12: BayTM – Jan Greune, Gert Kraut- 81925 Munich, Germany bauer | p.
    [Show full text]
  • Business Bavaria Newsletter
    Business Bavaria Newsletter Issue 07/08 | 2013 What’s inside 5 minutes with … Elissa Lee, Managing Director of GE Aviation, Germany Page 2 In focus: Success of vocational training Page 3 Bavaria in your Briefcase: Summer Architecture award for tourism edition Page 4 July/August 2013 incl. regional special Upper Franconia Apprenticeships – a growth market Bavaria’s schools are known for their well-trained school leavers. In July, a total of According to the latest education monitoring publication of the Initiative Neue 130,000 young Bavarians start their careers. They can choose from a 2% increase Soziale Marktwirtschaft, Bavaria is “top when it comes to school quality and ac- in apprenticeships compared to the previous year. cess to vocational training”. More and more companies are increasing the number of training positions to promote young people and thus lay the foundations for With 133,000 school leavers, 2013 has a sizeable schooled generation. Among long-term success. the leavers are approximately 90,000 young people who attended comprehensive school for nine years or grammar school for ten. Following their vocational train- The most popular professions among men and women are very different in Ba- ing, they often start their apprenticeships right away. varia: while many male leavers favour training as motor or industrial mechanics To ensure candidates and positions are properly matched, applicants and com- or retail merchants, occupations such as office manager, medical specialist and panies seeking apprentices are supported in their search by the Employment retail expert are the most popular choices among women. Agency. Between October 2012 and June 2013 companies made a total of 88,541 free, professional, training places available – an increase of 1.8% on the previ- www.ausbildungsoffensive-bayern.de ous year.
    [Show full text]
  • Kommunale Partnerschaften Der Europäischen Metropolregion Nürnberg
    Stadt Nürnberg Amt für Internationale Beziehungen Partnerkommunen von Städten, Gemeinden und Landkreisen in der Europäischen Metropolregion Nürnberg Stadt / Gemeinde Landkreis Partnerkommune Land Landkreis Adelsdorf Erlangen-Höchstadt, Uggiate Trevano Italien MFr Adelsdorf Erlangen-Höchstadt, Feldbach Österreich MFr Ahorn Coburg, OFr Irdning Österreich Ahorn Coburg, OFr Eisfeld Thüringen Allersberg Roth, MFr Saint-Céré Frankreich Altdorf b. Nürnberg Nürnberger Land, MFr Sehma Sachsen Altdorf b. Nürnberg Nürnberger Land, MFr Dunaharaszti Ungarn Altdorf b. Nürnberg Nürnberger Land, MFr Pfitsch Italien Altdorf b. Nürnberg Nürnberger Land, MFr Colbitz Sachsen-Anhalt Amberg kreisfrei, OPf Perigueux Frankreich Amberg kreisfrei, OPf Trikala Griechenland Amberg kreisfrei, OPf Desenzano del Garda Italien Amberg kreisfrei, OPf Bystrzyca Klodzka Polen Amberg kreisfrei, OPf Kranj Slowenien Amberg kreisfrei, OPf Usti nad Orilici Tschechien Amberg-Sulzbach Landkreis, OPf Canton Maintenon Frankreich Amberg-Sulzbach Landkreis, OPf Grafschaft Argyll Großbritannien Amberg-Sulzbach Landkreis, OPf Lkr. Sächsische Sachsen Schweiz Ammerndorf Fürth, MFr Dulliken Schweiz Ammerthal Amberg-Sulzbach, OPf Modiim Israel Ansbach kreisfrei, MFr Jingjiang China Ansbach Landkreis, MFr Jingjiang China Ansbach kreisfrei, MFr Anglet Frankreich Ansbach kreisfrei, MFr Fermo Italien Ansbach Landkreis, MFr Erzgebirgskreis Sachsen Ansbach Landkreis, MFr Mudanya Türkei Ansbach kreisfrei, MFr Bay City USA Arzberg Wunsiedel, Ofr Arzberg Österreich Arzberg Wunsiedel, Ofr Horní Slavkov
    [Show full text]
  • Bamberg – Bayreuth A70
    Autobahndirektion Nordbayern BAMBERG – BAYREUTH A70 Verlegung der Fahrbahn aus einem Rutschhangbereich bei Thurnau Wegen der zunehmenden Hangbewegungen Im Jahr 2020 erfolgt der Abtrag des notwen- an der A70 östlich von Thurnau ist es zwin- digen Geländeeinschnittes und der Bau der gend notwendig geworden, die Fahrbahnen Anschlussstellenbrücke. Die überschüssigen dieser Autobahnstrecke zu verlegen. Erdmassen werden für Seitendeponien in Seit April 2020 laufen mittlerweile die Bau- Form von Wällen mit Lärmschutzwirkung arbeiten im Streckenabschnitt zwischen der längs der A70 bei Thurnau und Langenstadt Anschlussstelle (AS) Thurnau-West und dem sowie Oberbrücklein (Ortsteile von Neudros- Rotmaintal. senfeld) und längs der A9 bei Lanzendorf (Ortsteil von Himmelkron) verwendet. Die Standsicherheit der bestehenden Fahr- spuren ist auf Dauer nicht gewährleistet. Die Fahrbahnen der alten Trasse werden Nur mit Hilfe eines komplexen Monitoring- zurückgebaut und danach aufgeforstet, bzw. Systems (fortlaufende Permanentüber- als landwirtschaftliche Fläche oder Sukzessi- wachung des Hanges) kann derzeit die onsfläche genutzt. uneingeschränkte Nutzung der Autobahn Ein Großteil der Arbeiten kann ohne wesentli- gewährleistet werden. che Beeinträchtigung des Verkehrs erfolgen, Nach Prüfung verschiedener Möglichkeiten da die neue Trasse neben der bestehenden zur Sicherung der, teilweise seit den A70 liegt. 60er Jahren bestehenden A70, kam als Erst in der letzten Bauphase werden Teilsper- tragbarer Lösungsansatz schließlich nur eine rungen der AS Thurnau-Ost erforderlich. Bis Verlegung in Betracht. Auf einer Länge von Ende des Jahres 2023 sollen die Bauarbeiten rund drei Kilometern wird die Trasse bis zu abgeschlossen sein. 200 Meter Richtung Norden auf geologisch Die Kosten in Höhe von ca. 65 Millionen Euro sicheres Gelände verlegt. trägt die Bundesrepublik Deutschland. Aufgrund der Dringlichkeit der Fahrbahner- neuerung wurden bereits seit November 2018 die ersten Vormaßnahmen geplant.
    [Show full text]
  • Danube Navigation
    pistribüted t0 the C0 u n ci1 C. 4 4 4 (a) M. 164 (a). 1 9 2 5 . VIII. and the Members of the League.] v ' — G e n e v a , August 20th, 1 9 2 5 . LEAGUE OF NATIONS REPORT ON DANUBE NAVIGATION SUBMITTED TO THE ADVISORY AND TECHNICAL COMMITTEE FOR COMMUNICATIONS AND TRANSIT OF THE LEAGUE OF NATIONS BY WALKER D. HINES (with the aid of Major Brehon Somervell) TABLE OF CONTENTS. Part 1. P ag e I Introduction ............................................................................................................................................. 11 II, P a s t a n d P r e s e n t U t i l i s a t i o n o f t h e R i v e r .......................................................................................................... 11 Freight traffic ..................................................................................................................................... 11 Total for 1911, 1923, 1924. Increase expected in 1925. Exports, imports and internal traffic of riparian States. Traffic by flag, 1923 and 1924. Comparison with traffic on Rhine Passenger traffic ..................................................................................................................................... 14 III. T h e R i v e r F l e e t s , t h e i r N a t i o n a l i t y a n d C a p a c i t y ................................................................................ 15 Pre-war situation. Present situation. Changes brought about by the war. Present Danube Fleet by flag. Introduction of self-propelled barges. Greater division of shipping interests. Co-operation among navigation companies. IV. S c h e m e o f A n a l y s i s ................................................................................................................................................................................. 16 V. T h e G e n e r a l C h a r a c t e r i s t i c s o f D a n u b e T r a f f i c ..........................................................................................
    [Show full text]
  • The Peace of Augsburg in Three Imperial Cities by Istvan
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Waterloo's Institutional Repository Biconfessionalism and Tolerance: The Peace of Augsburg in Three Imperial Cities by Istvan Szepesi A thesis presented to the University Of Waterloo in fulfilment of the thesis requirement for the degree of Master of Arts in History Waterloo, Ontario, Canada, 2016 © Istvan Szepesi 2016 I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract In contrast to the atmosphere of mistrust and division between confessions that was common to most polities during the Reformation era, the Peace of Augsburg, signed in 1555, declared the free imperial cities of the Holy Roman Empire a place where both Catholics and Lutherans could live together in peace. While historians readily acknowledge the exceptional nature of this clause of the Peace, they tend to downplay its historical significance through an undue focus on its long-term failures. In order to challenge this interpretation, this paper examines the successes and failures of the free imperial cities’ implementation of the Peace through a comparative analysis of religious coexistence in Augsburg, Cologne, and Nuremberg during the Peace’s 63- year duration. This investigation reveals that while religious coexistence did eventually fail first in Nuremberg and then in Cologne, the Peace made major strides in the short term which offer important insights into the nature of tolerance and confessional conflict in urban Germany during the late Reformation era.
    [Show full text]
  • Handbook for Incoming Students
    Handbook for Erasmus-Students -University of Applied Sciences for Public Administration and Legal Affairs in Bavaria- Location: Hof 1 Contents 1 Welcome in Germany/Bavaria/Upper Franconia/Hof .......................................................4 1.1 Germany ..................................................................................................................4 1.2 Bavaria .....................................................................................................................4 1.3 Upper Franconia ......................................................................................................4 1.4 Hof ...........................................................................................................................6 2 Arrival ..............................................................................................................................7 2.1 … by car ...................................................................................................................7 2.2 … by train .................................................................................................................7 2.3 … connection via city-bus.........................................................................................7 2.4 … by plane ...............................................................................................................8 3 Accommodation...............................................................................................................8 3.1 Equipment ................................................................................................................9
    [Show full text]
  • Invest in Bavaria Facts and Figures
    Invest in Bavaria Investors’guide Facts and Figures and Figures Facts www.invest-in-bavaria.com Invest Facts and in Bavaria Figures Bavarian Ministry of Economic Affairs, Infrastructure, Transport and Technology Table of contents Part 1 A state and its economy 1 Bavaria: portrait of a state 2 Bavaria: its government and its people 4 Bavaria’s economy: its main features 8 Bavaria’s economy: key figures 25 International trade 32 Part 2 Learning and working 47 Primary, secondary and post-secondary education 48 Bavaria’s labor market 58 Unitized and absolute labor costs, productivity 61 Occupational co-determination and working relationships in companies 68 Days lost to illness and strikes 70 Part 3 Research and development 73 Infrastructure of innovation 74 Bavaria’s technology transfer network 82 Patenting and licensing institutions 89 Public sector support provided to private-sector R & D projects 92 Bavaria’s high-tech campaign 94 Alliance Bavaria Innovative: Bavaria’s cluster-building campaign 96 Part 4 Bavaria’s economic infrastructure 99 Bavaria’s transport infrastructure 100 Energy 117 Telecommunications 126 Part 5 Business development 127 Services available to investors in Bavaria 128 Business sites in Bavaria 130 Companies and corporate institutions: potential partners and sources of expertise 132 Incubation centers in Bavaria’s communities 133 Public-sector financial support 134 Promotion of sales outside Germany 142 Representative offices outside Germany 149 Important addresses for investors 151 Invest in Bavaria Investors’guide Part 1 Invest A state and in Bavaria its economy Bavarian Ministry of Economic Affairs, Infrastructure, Transport and Technology Bavaria: portrait of a state Bavaria: part of Europe Bavaria is located in the heart of central Europe.
    [Show full text]
  • The Royal Engineers Journal
    The Royal Engineers Journal. More Roads (Waziristan, 1937) . ajor A. E. Armstrong 1 The New Field Company, BE., at Work . Maor D. Harrison 17 Initiative C. Major J. G. 0. Whitehead 27 oderm Methods of Concrete Construction in Quetta Captain H. H. C. Withers and Mr. E. G. Russell 31 D.C.R.E. Finance . * . Major E. Bader 40 Old Fort Henry at Kingston, Ontario . Ronald L. Way 57 Bomb Damage and Repair on the Kan Sui Bridge, Canton-Kowloon Rail vay Colonel G. C. Gowlland 62 The Building of "Prelude" . Lieutenant J. L. Gavin 64 The Rhine-Main-Danube Canal. Maior Prokoph 71 The ersey and Irwe Basin . Stanley Pearson 77 The Application of Soil Mechanics to Road Construction and the Use of Bitumen Emulsion for Stabilization of Soils . Brigadier C. H. Hsswell 89 Some Comments on Brigadier Haswell's Lecture on Soil Stabilization Brigadier-General E. C. Wace 99 Approximate Methods of Squaring the Circle . Major J. G. Heard 104 An Improvised Concrete Testing Machine . S. Arnold 106 Tales ofa alayan Labor Force . "ataacha" 111 Correspondence. Books. Magazines . 119 VOL. LIII. MARCH, 1939. CHATHAM: THE INSTITUTION OF ROYAL ENGINEERS. TELEPHONE: CHATEAM 2669. AGNrTS AND PRINTERS: MACyATS LTD. LONDON: HUGH RIBS, LTD., 5, REGENT STRBET, S.W.I. -C - AllAlI-- C 9 - INSTITUTION OF RE OFFICE COPY DO NOT REMOVE I' m I XPAME T EXPANDED METAL British Steel :: British Labour Reinforcement for Concrete With a proper combination of "Ex- pamet" Expanded Steel and Concrete, light thin slabbing is obtainable of great strength and fire-resistant efficiency; it effects a considerable reduction in dead-weight of super- structure and in vertical building height, and it is used extensively in any type of building-brick, steel, reinforced concrete, etc.
    [Show full text]
  • RE 55, RB 53 Würzburg Hbf – Bamberg Vom 12. Jan. Bis 25. Jan. Schienenersatzverkehr (SEV) Haßfurt – Ebelsbach-Eltmann
    RE 55, RB 53 Würzburg Hbf – Bamberg vom 12. Jan. bis 25. Jan. Schienenersatzverkehr (SEV) Haßfurt – Ebelsbach-Eltmann , 18.12.2020 zvF 70899) zvF Nürnberg (zu Regio Bayern Erläuterungen zum SEV-Symbol Bei einem Schienenersatzverkehr sind Ihnen diese beiden Symbole auf Bussen, Halte- stellen, Aushängen und als Bestandteil der Wegeleitung vom/zum Schienenersatzver- kehr behilflich. Bitte beachten Sie hierbei folgendes: Das untere Symbol wird schrittweise durch das obere (neue) Symbol ersetzt. Gültigkeit haben weiterhin beide Symbole. Farben und Kennzeichnungen in den Fahrplantabellen 6.48 frühere Abfahrt 6.48 spätere Abfahrt 6.48 Busabfahrt (SEV) 6.48 Fahrt kann später verkehren 6.48 Fahrt fällt aus 6.48 zusätzlicher Bus / Expressbus X 6.48 Zug hält nur bei Bedarf ʱ …ʹ Erläuterung siehe unter der Fahrplantabelle ˎ Zug bzw. Bus mit Fahrradbeförderung ̄ Zugvereinigung / Zugteilung beachten Max Maulwurf – Symbolfigur der Deutschen Bahn bei Bauarbeiten Seit 1994 informiert der kleine aktive Wühler über das aktuelle Bau- geschehen bei der Deutschen Bahn und wirbt auf seine unnachahm- liche Weise um Verständnis. Mehr über Max Maulwurf erfahren Sie auf www.deutschebahn.com/maxmaulwurf (mit Links zur Max- Fanseite und zu Max-Maulwurf-Artikeln im Bahnshop). Informationsmöglichkeiten Sonderbroschüre auf großen Bahnhöfen an der DB Information sowie in DB Reisezentren und Verkaufsstellen Aushänge auf den Stationen Internet bauinfos.deutschebahn.com mit Newsletter und RSS-Feed Mobiltelefon bauinfos.deutschebahn.com/mobile Videotext BAYERNTEXT Tafel 700 Aktuelle Betriebslage bahn.de/ris oder für Mobiltelefone m.bahn.de/ris Die Service-Nummer der Bahn Telefon 0180 6 99 66 33 (20 ct/Anruf aus dem Festnetz, Tarif bei Mobilfunk max.
    [Show full text]
  • Universität Augsburg
    Universitat¨ Augsburg ÃABCÊÇÅÍÆGËÀ¼ Safe Reasoning with Logic LTS Gerald L¨uttgen, Walter Vogler Report2008-18 November2008 Institut fur¨ Informatik Copyright c Gerald L¨uttgen, Walter Vogler Institut f¨ur Informatik Universit¨at Augsburg D–86135 Augsburg, Germany http://www.Informatik.Uni-Augsburg.DE — all rights reserved — Safe Reasoning with Logic LTS Gerald L¨uttgen1 and Walter Vogler2 1 Department of Computer Science, University of York, York YO10 5DD, U.K. [email protected] 2 Institut f¨ur Informatik, Universit¨at Augsburg, D–86135 Augsburg, Germany [email protected] Abstract. Previous work has introduced the setting of Logic LTS, to- gether with a variant of ready simulation as fully-abstract refinement preorder, which allows one to compose operational specifications using a CSP-style parallel operator as well as the propositional connectives con- junction and disjunction. In this paper, we show how a temporal logic for specifying safety properties may be embedded into Logic LTS so that (a) the temporal operators are compositional for ready simulation and (b) ready simulation, when restricted to pairs of processes and formulas, coincides with the logic’s satisfaction relation. The utility of this set- ting as a semantic foundation for mixed operational and temporal-logic specification languages is demonstrated via a simple example. 1 Introduction Recently, the setting of Logic LTS has been introduced which combines opera- tional and logic styles of specification [13, 14] in one unified framework. It in- cludes operational operators, such as parallel composition, and the propositional- logic operators conjunction and disjunction. Logic LTS extends labelled transi- tion systems by an inconsistency predicate on states, where an inconsistent state, or process, denotes empty behaviour that cannot be implemented (cf.
    [Show full text]
  • New Waterway Link Shows the Way to a Productive Future
    Click here for Full Issue of EIR Volume 19, Number 43, October 30, 1992 �TImFeature New wateIWay link shows the way to a productive future by Alexander Hartmann On Sept. 25, Bavarian Prime Minister Max Streibl �nd German Minister of Trans­ portation Gunter Krause opened the Main-Danube'Canal, connecting the system of waterways of western Europe with that of centr.1 and southeastern Europe, in a ceremony attended by German President Richard von W eizsiicker, heads of government or ministers of 15 nations which are !>Qund together by the new link, and thousands of joyful citizens. In dozens of towns �Iong the waterway, more than 100,000people celebrated the canal's opening, making it the biggest celebration of a political event in Germany since reunification. The new waterway is an integral part of a pill-n, entitled the "Paris-Berlin­ Vienna Productive Triangle," authored by Americ.n economist and independent presidential candidate Lyndon LaRouche, which emphasizes investment in infra­ structure in the most densely populated area of Eu.-ope-the area between Paris, Berlin, and Vienna-in order to most efficiently multiply the productive means available to maximize investment in the infrastructure connecting this area with the major population centers outside the triangle. ffhis in tum will multiply the means to improve the economic situation in the regions between these corridors of development, through the development of secondary corridors. If you mark on a map of Europe the area of t�e "Productive Triangle," the Rhine-Main-Danube waterway, and the canal, Y01!l will see that the canal is an example of exactly what LaRouche is talking about: It is situated right in the middle of the triangle; it improves the traffic conditions within the triangle, where otherwise all other transportation systems are nearing their limit of capacity; and it also connects all countries along the Danube with this central area.
    [Show full text]