LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Travel, Accommodation, Local Information

Travel and Entry

  • Aiports: Manizales' Airport La Nubia code is MZL. There are no international flights to MZL, but there are connections via (at least) El Dorado - Bogotá International Airport (BOG). The Aeropuerto Internacional Matecaña (PEI) is in Pereira (1.5-2 hours away) - this is bigger and has more flights.
    • For attendees flying into PEI, the conference organizers Organizacion Campus <organizacioncampus@gmail.com> are coordinating shared transport to Manizales. The price is maximally COP242,000 for 1-3 people. If you email them your flight details they will coordinate sharing, which will determine the final price per-person.
  • Visas: Most passports can be used without a visa. For more information about visas, see this page. There are lists of passports that do not need visas. And there are more details if you never want to leave :-)
  • COVID: Visitors to Colombia ages 18 or older must provide proof (original, physical vaccination card or digital certificate) of complete vaccination or a negative COVID test, and complete Migración Colombia’s online Check-Mig form. Here are the full details.

Getting to and from the Conference

  • Getting a taxi to the conference is easy and cheap. As many people are staying in the same hotels, you can arrange to share. Tell the driver "Universidad Nacional Manizales". The taxi will get to the main gate, but can't drive in. It's a short walk to "Bloque W", where the conference is being held. Here's a Google map link.
  • Buses are provided to take you back to your hotels at the end of each day.

Accomodation

The recommended hotels are:

Travel from the central part of the city to the campus is easy and cheap - $5 taxi ride to the conference, 4 people per ride. A shuttle back to the hotels will be provided at the end of each day.

Local Information

  • Money: The Colombian peso is the country's legal tender. The town has multiple ATM machines where cash can be withdrawn, and credit cards are commonly accepted.
  • Electricity: Colombia operates on a 110V supply voltage at 60Hz, using US-style plugs.
  • Weather: Comfortable, with some rain. The local organizers say ... In Manizales the climate is very variable, sometimes it is hot and sunny and other times it rains and it is cold, sometimes on the same day both. The weather during the day is generally between 18 and 20 degrees Celsius. In Recuca it is generally hot, and we recommend bringing a hat and sunscreen for the excursion.
  • Safety: The local organizers people say "Manizales is one of the safest Colombian cities."
  • More information coming.

Tourism Before and After the Conference

  • Information coming