Meetings

---

« back

---

> Venue
> Agenda
> Social event
> Accommodation
> How to get there?

Venue

The seventh COST Action meeting will be held in Leicester, United Kingdom and hosted by the University of Leicester. Located in the Midlands, Leicester is highly accessible from East Midlands Airport, Luton Airport, Birmingham Airport, Stansted Airport and other London airports (see below).

Leicester is notable for being the birthplace of legendary broadcaster and naturalist Sir David Attenborough, as well as his brother, the actor and filmmaker Lord Richard Attenborough. Leicester is also the home of the (hugely surprising) 2015/16 Premier League football champions, Leicester City FC.

Founded in 1921, the University of Leicester is world-renowned for both the discovery of DNA fingerprinting in the 1980s by Sir Alec Jeffreys, and more recently the discovery of the remains of King Richard III.

The meeting takes place at College Court. From the university it is approximately a twenty minute walk to college Court (which is not on campus). For a Google map location see here. The address is:

College Court Conference Centre,
Knighton Road,
Leicester,
LE2 3UF,
Sat Nav - LE2 3TQ

On-site parking is possible.

The Arriva bus 44 (bus stop Northcote Road) connects with the city center, the station and the University. From the University, the bus stop is on the other side of Victoria Park.

> Go up

Agenda

Monday, 10 September (College Court)

8:30 - 9:30 Arrival Refreshments (Coffee Lounge)
9:30 - 10:00 Registration and Welcome
10:00 - 11:00 MC Meeting
11:00 - 11:30 Coffee Break (Coffee Lounge)
11:30 - 12:30 MC Meeting continued
12:30 - 14:00 Lunch
14:00 - 16:00 WG1 Meeting. Talks by

• Nobuko Yoshida: Reversibility between Polymorphic Sessions and Functions
• Lukasz Mikulski: Reversing steps in Petri nets
• Robin Kaarsgaard: Reversibility as a compositional phenomenon
• Torben Ægidius Mogensen: Compiling a simple functional language to reversible code

16:00 - 16:30 Coffee Break
16:30 - 17:30 WG1 Meeting continued. Talk by

• Norman Margolus: Emulating physics.
• Followed by WG1 final report discussion

17:30 - 18:30 WG2 Meeting. Talk by

• James Hoey: Reversing parallel programs with blocks and procedures.
• Followed by WG2 final report discussion

Tuesday, 11 September (College Court)

8:00 - 9:00 Arrival Refreshments (Coffee Lounge)
9:00 - 10:00 WG2 meeting continued. Talks by

• Hernán Melgratti: Petri nets with probabilities, Bayesian nets and reversibility
• Lukasz Mikulski: Reversing computations modelled by coloured Petri nets

10:00 - 11:00 WG3 Meeting. Talk by

• Michael P. Frank: Engineering challenges for reversible computing hardware.
• Followed by WG3 final report discussion

11:00 - 11:30 Coffee Break (Coffee Lounge)
11:30 - 12:30 WG3 Meeting continued. Talks by

• Mathias Soeken: Integration of reversible logic synthesis in to quantum programming languages
• Krzysztof Podlaski: New results on reversible Boolean functions having component functions with specified properties

12:30 - 14:00 Lunch
14:00 - 15:30 WG3 Meeting continued. Talks by

• Robert Wille: Simulation of quantum computations using decision diagrams
• Alwin Zulehner: Mapping of quantum circuits to IBM QX architectures.
• Followed by case studies 7 and 8 update by Robert Wille.

15:30 - 16:00 Coffee Break.
16:00 - 17:00 WG4 Meeting.

• WG4 status on case studies 3, 4, 5, and 9 by WG4 Chairs.
• Followed by talk by
  Ivan Lanese: Debugging of concurrent and distributed systems [case study 1]

17:30 Coach leaves for Tour of Leicester, followed by a dinner at the City Rooms at 19:00

Wednesday, 12 September (University of Leicester, Henry Wellcome Building, Frank and Katherine May Lecture Theatre)

9:30 - 11:00 WG3 and WG4 talks by

• Carla Ferreira: Invariant-preserving applications for weakly consistent replicated databases [case study 2]
• Harun Siljak: Reversible CA for communications (short talk) [case study 6]
• Kota Asai: Compaction of topological quantum circuit by modularization

11:00 - 11:30 Coffee Break
11:30 - 12:30 WG1 and WG3 talk by

• Tim Boykett: Ongoing work towards determining conserved quantities for closed classes of reversible mappings.
• Followed by discussion on Action IC1405 Dissemination Plan

12:30 - 14:00 Lunch. Followed by Closing.

> Go up

Social event

The social event will take place on Tuesday, September 11th, evening, in the City rooms in the city center of Leicester. For a Google maps location see here. We will provide coach transfer from the meeting venue. After the event you can go directly to your hotel. The address is:

The City Rooms
Hotel St,
Leicester LE1 5AW

There is no on-site parking. Discounted parking is available at NCP Rutland Car Park, Halford Street, Leicester, LE1 1TQ, which is a six minutes walk from the City Rooms.

> Go up

Accommodation

College Court Accommodation

Accomodation is available at College Court, and can be booked directly with College Court. Bookings can be made either over the phone by ringing (+44) 0116 244 9669 or by sending an email to reservations@collegecourt.co.uk. Please quote the reference number '44187' in order to receive the following nightly rates based on single occupancy.

• Sun 9 and Mon 10 Sept 2018 - 75 GBP per night
• Tues 11, Wed 12 and Thurs 13 Sept 2018 - 95 GBP per night
• Fri 14 and Sat 15 Sept 2018 - 85 GBP per night

All of the above prices are inclusive of a full English breakfast, complimentary car parking and Wi-Fi access. For double occupancy, an additional charge of 15 GBP per night will apply. Upgrades to executive bedrooms are also available for a 10 GBP supplement. Please note that a credit/debit card will be required to secure the reservation.

Student Accommodation

There are also a small number of rooms available at Nixon Court (University of Leicester Residence - shown here) for PhD students or young researchers who attend both the COST Action meeting and RC2018. The price per night of this accommodation is approximately 40 GBP. The availability of such rooms is from 9th September (check-in) to 15th September (check-out), with at least 4 nights required to be booked. This will be operated on a first-come, first-served basis. To apply, email James on jbh11@leicester.ac.uk.

Hotels

There are a number of close hotels available, including those shown on the conference map, namely

• iBis Hotel Leicester - Webpage
• Premier Inn Leicester - Webpage
• The Belmont Hotel - Webpage

Other hotels (and those listed above) are available via a selection of online booking services, an example being Booking.com.

> Go up

How to get there?

By Air

East Midlands Airport (EMA) The closest airport to Leicester, though is relatively small with flights to and from a select number of countries (mainly Europe). Bus and railway links are available from the airport to Leicester City Centre. For example, a five minute shuttle to East Midlands Parkway from which it is 20-30 minute by railway to Leicester.

Birmingham Airport (BHX) Around an hour away from Leicester, again with very good railway and coach links to Leicester City Centre. Travel time by railway is 1.5 hour.

London Luton (LTN) Around 1.5 hours away from Leicester by railway (2 hours by coach).

London Stansted (STN) Around 2.5 hours away from Leicester by railway (longer by coach).

Other airports in London include London Heathrow (LHR) and London Gatwick (LGW)

By Railway

Leicester Railway station is roughly a 35 minute walk from College Court. Alternatively the Arriva bus 44 or a cab can be used. The railway station is highly accessible from both London and Birmingham, making it ideal for airport transfers. See the location of the railway station on the map below.

By Car

Leicester is well linked via the motorways M1, M69 and A6 between London and Birmingham.

Map

Click on the map below or this link to see a bigger version of this map. This map contains markers of the campus of the University of Leicester, College Court, National Space Centre (all in red), a selection of hotels including Nixon Court (all in blue), and Leicester Railway Station (in green).

> Go up