1st-2nd Sep 2017
Toruń, PolandWG/MC Meeting
Meetings
« back
> Venue
> Agenda
> How to go to the meeting venue?
> Accommodation
> How to get to Toruń?
Venue
The meeting will take place in the building of the Faculty of Mathematics and Computer Science of Nicolaus Copernicus University in Toruń.
Nicolaus Copernicus University
(http://www.umk.pl/en/)The Nicolaus Copernicus University in Toruń (NCU) is one of the largest universities in Poland, currently comprising 17 faculties. It provides graduate and postgraduate courses for almost 30 000 students, offering education in over 80 fields of study, 100 specializations and 50 postgraduate courses. The university employs 4300 staff. The Nicolaus Copernicus University is rated as one of the five best universities in Poland, while QS World University Ranking has placed NCU in the top 4% of universities in the world.
Faculty of Mathematics and Computer Science
(http://www.mat.umk.pl/en/web/en/home)The Faculty of Mathematics and Computer Science was founded in 1993, but, mathematical sciences were developed in Nicolaus Copernicus University in Toruń from the very beginning of its existence, first, within departments, later, in the Institute of Mathematics - a part of the Faculty of Mathematics, Physics and Chemistry. In the 1960s a new specialization, a 'numerical division', was established. It can be regarded as the beginning of the computer science studies in Toruń. The Faculty of Mathematics and Computer Science, with its high level of scientific research and a number of world-class researchers, has always been awarded the highest grade in Polish evaluation of scientific units. Well-equipped laboratories, lecture halls, seminar rooms and the library providing access to the large collection of resources, together with the latest technologies and free wireless Internet access in the halls, form a modern infrastructure. The building of the Faculty is within a 5 minute walking distance from the Old Town, which offers a wide range of restaurants and affordable hotels.
Virtual tour of the faculty: http://tour.mat.umk.pl/
Address
Faculty of Mathematics and Computer Science
Nicolaus Copernicus University
Chopina 12/18, 87-100 Toruń, Poland
GPS coordinates: 53.010313, 18.594427
Agenda
Friday, 1st September
09:00 MC meeting11:00 Coffee break
11:30 WG3 meeting
- Claudio Moraga: The MMD algorithm in the ternary domain, revisited
- Giulia Meuli: LUT-based hierarchical reversible synthesis
- Mathias Soeken: Mapping Reversible Single-target Gates
14:00 WG3 meeting
- Vitaly Deibuk: Ternary Sequential Elements
- Discussion:
- STSMs
- Plans for GP3
16:00 WG4 meeting
- Markus Schorden: Overview of the Backstroke tool
- Markus Schorden: Reversibility for floating-point computations
- Harun Siljak: Reversibility in Massive MIMO
- Bogdan Aman: Reversibility in bio-inspired systems
19:00 Dinner - Karczma Spichrz
Saturday, 2nd September
09:00 WG4 meeting- Adrian Palacios: Demo of a reversible simulator for Erlang
- Robert Wille (Possibly): Synthesis of Encoder Circuits using Reversible Logic
11:00 WG1 meeting
- Jarkko Kari: Wang tiles and 1D reversible cellular automata
- Robin Kaarsgaard: A Categorical Foundation for Structured Reversible
- Robin Kaarsgaard: Flowchart Languages
- Doriana Medic: Towards parametric causal semantics in pi-calculus
- James Hoey: Reversing Imperative Parallel Programs
14:00 WG1 meeting
- Ivan Lanese: Analysis of Reversible Systems: Open Challenges
- Irek Ulidowski: Reversible testing
16:00 WG2 meeting
- Markus Schordan: Optimistic Pareallel Discrete event simulation at LLNL (part-1: Backstroke)
- Claudio Antares Mezzina: Causally Consistent Reversible Choreographies
- Claudio Antares Mezzina: A Monitors-as-Memories Approach
> Go up
How to go to the meeting venue?
How to get there: http://www.mat.umk.pl/en/web/en/connect-and-visit
The meeting will take place in the building of the Faculty of Mathematics and Computer Science of Nicolaus Copernicus University in Toruń. The Faculty building is conveniently situated for both railway and bus stations. It is located within a short walk of the town centre, close to Plac Rapackiego. From the main railway station ("Toruń Główny" in Polish), the bus numbers are: 11, 12, 13, 14, 22, 27, 36. Get off the bus on "Plac Rapackiego".
From the bus station ("Dworzec PKS" in Polish), leave station by the main exit. Then turn right slightly and right again at traffic lights to the "Uniwersytecka" tramway stop, and then take a Tram 3. Get off the tram on "Plac Rapackiego" (the third stop). To get to the Faculty from Plac Rapackiego, turn into Chopina Street and go straight up for about 300 meters.
> Go upAccommodation
Toruń is a tourist town and offers a wide range of accommodations. The old town is located in a walking distance (~7 minutes) from the venue and dozens of hotels with a wide range of prices and a variety of conditions are available there, from expensive ones to low-budget hostels. We strongly recommend to find a suitable accommodation through the online accommodation booking website www.booking.com.
One may also consider staying in one of the wide variety of private apartments, which are available at: https://www.airbnb.co.uk/s/Torun--Poland
Independently from the booking service we recommend the following hotel (not available in this service).
Hotel Ibis Budget Toruń
The nearest to the venue low-budget hotel. The hotel is situated right next to the Torun Old Town. It offers guests a cheap night's sleep in one of its comfortable rooms.http://www.ibis.com/gb/hotel-7147-ibis-budget-torun/index.shtml
| Single room | about 120 PLN ~ 30 EUR / day |
| Twin room | about 135 PLN ~ 33 EUR / day |
All rates are including breakfast, but excluding tourist/city tax (0.50 EUR/day). To book a room in the hotel, please send an e-mail address: h7147@accor.com and refer to IC1405. The stay fee will be charged on the day of arrival in advance for the entire stay, hotel accepts payment only by card or cash in Polish zloty, there is no possibility of paying in euros or dollars.
(click to enlarge)
Map over Toruń with annotations
How to get to Toruń?
(click to enlarge)
By plane
The nearest airports are located in:
- Bydgoszcz (47 km)
- Gdańsk (174 km)
- Warszawa (221 km)
- Arrivals/Departures Chopin airport - timetable / Modlin airport - timetable
- Dedicated bus to Toruń ModlinBus
- You can reach the Central Railway Station by a local train and then continue journey by train.
- Local Journey Planner
- Poznań (170 km)
By train
The train station closest to the conference center (2,5 km) is Toruń GŁówny (the Main Train Station in Toruń). For a detailed timetable please refer to PKP Journey Planner and E-Podróżnik.
By bus
The bus station is located 1,5 km from the conference center. For a journey planer please refer to E-Podróżnik.
By car
- from Gdańsk - motorway A1 to the junction Toruń - Lubicz,
- from Szczecin - route S10,
- from Frankfurt (Oder) - motorway A2 to the junction Stryków, then motorway A1 to the junction Toruń - Lubicz,
- from Łódź (junction Stryków) - motorway A1 to the junction Toruń - Lubicz,
- from Warsaw - motorway A2 to the junction Stryków, then motorway A1 to the junction Toruń - Lubicz.
Please note that you have to pay toll on most of the motorways in Poland.
Local transport
The bus and tram stop closest to the conference center is Plac Rapackiego (Rapacki's Square) - one of the main stops in the city. Tickets (the same for buses and trams) can be purchased at each booth with the press, from a driver or a ticket machine in a bus/tram. A single ticket for an adult costs 2,80 PLN. There is also 8-journey ticket (so called "karnet"), which costs 20,10 PLN. Remember to punch your ticket immediately after boarding the vehicle. There is no charge for baggage but you can not put bags on seats.
Public transport timetable and other information can be found on the official website https://mzk-torun.pl/wersja-angielska or on nationwide public transport journey planner http://torun.jakdojade.pl/?locale=en.
Links
Memorandum of UnderstandingCOST rules and guidelines
Irek UlidowskiManagement Committee Chair
Ivan LaneseManagement Committee Vice Chair
Veronica GaspesSTSM Coordinator
Jovanka PantovicITC Conference Grant Coordinator
Anna PhilippouCOST Action Equality Chair
Ralph StuebnerCOST Science Officer
Michael Kirkedal ThomsenCOST Action Website Chair