Panoramic

The University of Brasília (UnB) offers to host the 8th International Conference on Interactive Theorem-Proving (ITP 2017) in co-location with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017). The conferences meet every four years at FLOC, but we do believe that these communities would benefit from a more focused meeting. We see hosting these events as an opportunity to fostering further collaboration between research groups working on Automated Reasoning in Latin America and those established elsewhere. We are planning for reasonable and competitive fees, as well for cheaper and alternative accommodation, in order to keep costs as low as possible and encourage attendance.

Chancellary Building

Organisation

The responsibility of organising ITP 2017 will be shared between Cláudia Nalon (UnB, contact person), Daniele Nantes (UnB), Elaine Pimentel (UFRN), and João Marcos (UFRN). We will also count on the support of local staff for the managerial/administrative tasks. Students will be encouraged, by waiving of fees, to volunteer for the preparation and for helping the conference attendees with tasks from registration to local support.

Program Committee

The scientific part of ITP 2017 will be co-chaired by César Muñoz (NASA) and Mauricio Ayala Rincón (UnB). César is currently a member of the Steering Committee of ITP and has served as a member of the ITP Program Committee in 2010, 2013, and 2015. He was also a member of the TPHOLs Program Committee for several years and program co-chair of TPHOLs in 2002 and 2008. Mauricio has served as a member of the Steering Committees of Rewriting Techniques and Applications (RTA, 2012-15) and of the International School on Rewriting (2009-15).

Brasília's Master Plan

About Brasília

Brasília, located in the Federal District, has been the Capital of Brazil since April 21st, 1960. There were many reasons to bring the Capital from Rio de Janeiro to an inland location. However, the most successful achievement was to promote regional and national development. Nowadays, the Federal District is the fourth major metropolitan centre in Brazil. According to the last census, the Federal District population was around 2.57 million inhabitants in 2010. The Brazilian Institute of Geography and Statistics (IBGE) estimates that the population has grown to 2.91 million in 2015.

Although the idea of a new inland capital had been presented in 1823 (right after Brazil’s independence), the construction started in 1956, under the government of the President Juscelino Kubitschek. The airport and the official residence were built by this time. In 1957, Lúcio Costa won the public contest for a master plan for the new capital. In his proposal, Costa describes the city’s plan as having the shape of a cross: the Monumental Axis, where the government’s buildings are located, runs from East to West and intersects the Residential Axis, which runs from North to South. In order to adapt his plan to the topographical characteristics of this area, as pointed out by Costa in his proposal, the Residential Axis has actually the shape of an arch. Thus, the final shape of the Pilot Plan resembles that of an airplane.

The National Congress

Brasília was planned to be – and it is – a garden city. Besides parkland areas, Costa had planned that the Axes as well as the residential super-blocks would be surrounded by grass, bushes, and trees. In the beginning, landscaping was done with many different species of trees. Nowadays only native species are used for that purpose. You will be able see many ipês-amarelos which usually blossom at the beginning of August.

Many of the Brazil’s architectural masterpieces are located in Brasília. Oscar Niemeyer was assigned by President Kubitschek to design most of the government buildings. The Alvorada Palace (Official Residence), the Cathedral, The Planalto Palace (Executive Power), the National Congress, the Supreme Court Building, and the Itamaraty Palace (Diplomacy) are among his projects that were built in between 1957 and 1958. In 1960, he designed the buildings for the University of Brasília. The Central Institute of Sciences is one of his projects. In 1962, as the University’s activities began, he was assigned to head the School of Architecture. In 1965, Niemeyer and 200 other scholars resigned in protest against the dictatorial government treatment given to the universities. Sad part of our history.

The federal capital was declared humanity’s heritage in 1987 in order to preserve its architectural features. However, differently from other cities of Brazil’s heritage, it was given the title for being a unique example of innovation, a manifesto for modernity.

Accessibility

Brasília is served by an international airport which handles around 19 million passengers a year. As part of the preparation for hosting the 2014 FIFA World Cup, the airport received massive investments, from both the public and private sectors, for the renovation of the passenger’s terminals and the enlargement of the taxiways, which has allowed to almost double the number of positions available for aircrafts and, thus, increase the number of available routes for both domestic and international flights. International flights directly connect Brasília with Santiago (Chile), Buenos Aires (Argentina), Panama City (Panama), Miami (USA), Atlanta (USA), Paris (France), and Lisbon (Portugal).

It is also worthy mentioning that Brasília hosts one of the most important regional hubs in Brazil. There are direct flights from all the state capitals, including Rio de Janeiro, São Paulo, Porto Alegre, Natal, Recife, among other places which are easily accessible directly from other continents and from other countries in the Americas.

Brasília is centrally located and well served by coaches from elsewhere in Brazil, but prices for internal flights are competitive and travel times much shorter.

Transportation

The airport is just 20 minutes away from the centre, where the hotels are. Taxis cost around € 15.00 and are a convenient way to go from and to the airport.

There is also an Executive Bus from the airport to the Hotels Sectors. It runs every half an hour and stops by the door of or conveniently close to the main hotels in these areas. The trip costs around € 2.00.

Regular buses (lines 102, 102.1) also run from the airport to the main bus terminal in town, are frequent and quite cheap (€ 0.50). From the bus terminal you will need to catch another bus or a taxi to get to other places. If you do not speak Portuguese or do not know your way around, this is not recommended for you.

Itamaraty Palace

Visa Requirements

Brazil’s foreign policy is based on reciprocity. The Brazilian immigration authority will not require application for a visa prior to travelling/entering the country if your own country does not require such from Brazilian nationals. Nationals of 86 countries can enter Brazil without a visa, including all EU countries. For those who need a visa, there is a special category for attendees of scientific meetings, where a letter of invitation is needed. You should check with the Brazilian Consulate in your country what the requirements are. The organisation of the event will provide the required letters upon registration, in case you need them to apply for visas.

Accommodation

Brasília has a vast number of hotels. They are located in the central area, closer to the cross between the Monumental and the Residential Axes, about 10 minutes by car to the events venue. We can usually arrange transportation from the Hotels Sector to the University of Brasília. Prices for a room per day range around € 15.00 (for hostels), € 50.00 (for a three or four-star hotel), and € 80.00 (for a five-star hotel). Prices may vary over the year, but the intended period for the conference is within the low season. Also, the University of Brasília has a few rooms in shared apartments which can be used to accommodate visitors. Occupation for up to five days is free of charge. The cost, from the sixth day on, is of € 3.00 per day. If available, those places will be primarily offered to students attending the conference.

Out and Around

Brasília is a modern, lively place, with a variety of attractions worth seeing. For those who like the urban environment and cultural activities, almost all public buildings are open for visitation, most of them with free guided tours. Besides the architectural features, they hold interesting art collections which are also open for visitation. For the more adventurous, we are in the middle of the Cerrado ecosystem, which makes trips to nearby parks and waterfalls a very pleasant experience. Some of the suggested places to visit include the National parks:

Chapada dos Veadeiros

and nearby cities of historical interest:

Central Institute of Sciences

The University of Brasília

The University of Brasília is a public institution funded by the federal government. It was established short after the city’s inauguration, on April 21st, 1962. Our first chancellor, Darcy Ribeiro, was the person responsible for the creation of the university: he defined the bases for what should then be a modern, innovative way of conducting education and research, aware of and collaborating to sort out the problems and facing the challenges of a growing nation. According to Ribeiro, autonomy, in particular financial autonomy, was the way to escape from the private, short-termed interests run by the so nearby politicians and installed governments. To Ribeiro’s will, the University was created with resources that would allow its independence from such interests.

Fifty-four years later, the University has grown to four campi. The main campus, named after Darcy Ribeiro, occupies a large amount of land in the very centre of the city. The main buildings were designed by Oscar Niemeyer following the modern conception of Brasília. There are now 12 Schools and 14 Faculties, offering 154 courses at undergraduate level, 86 courses at the masters level, and 66 courses at the PhD level. There are 44,000 students currently enrolled, of which 8,000 are at the post-graduate level. The university staff is around 5,000, of which 2,700 are academic staff, involved with teaching, research, and outreach.

The University of Brasília is recognised by its commitment to excellence, being ranked among the five best universities in Brazil, the second among the federal universities, and among the top ten in Latin America.

FINATEC - Auditorium

Venue

All the events will be held at the FINATEC building, which lies within the campus of the University of Brasília and a few minutes from the Monumental Axis and from the Hotel Sector. The building offers:

  • one auditorium (250 people);
  • one conference room (150 people);
  • two amphitheatres (80 people);
  • one meeting room (50 people);
  • six meeting rooms (40 people);
  • ten meeting rooms (30 people).

There is a restaurant within the building and the conference centre can provide all the equipment and services needed for the events. The main page of the conference centre is reachable via http://finatec.org.br/site/eventos/estrutura/.

Catholic Cathedral

Dates

Dates are somehow flexible. We suggest the middle of August, but other dates would be possible as well. Final dates and format will be discussed with the Steering Committees of all conferences. We suggest four days for oral presentations, invited talks, and poster sessions within each conference. We also suggest to have at least two days dedicated to workshops/tutorials, just before or just after the main conferences.

The intended dates fall within Brazil’s low season, which occur between March and May and also between August and November. Temperatures in Brasília do not vary much over the year, the average being around 28 °C. For the suggested dates, temperature might peak at 30 °C during the day, lowering during the night, but not falling much below 17 °C.

Ipê and Flag

Co-located Events

We are aiming to co-locate ITP, TABLEAUX, and FroCoS. We will invite submissions for co-locating workshops and, in particular, encourage co-location of Latin American based events. In-depth tutorials will also be welcomed. The conference centre has the appropriate facilities for running the conferences, with plenary meetings, and a few tutorials/workshops in parallel.

We are very pleased to confirm that both the Steering Committes of TABLEAUX and FroCoS have already agreed to have Brasília as the next location for the conferences.

As for workshops, we have already talked to the Steering Committee and the prospective organisers of LSFA 2017 (Workshop on Logical and Semantic Frameworks, with Applications). We have received very positive feedback regarding the intention of co-locating. LSFA, which is now going for its eleventh edition, attracts around 30 to 35 people working within logics, in particular in proof theory and rewriting, every year. Information on the series of meetings can be found at http://lsfa.cic.unb.br/.

Also, we have been in contact with the organisers of the 18th Brazilian Logic Conference (EBL 2017) which will be held in Pirenópolis, in the Brazilian state of Goiás, only 150 Km from a Brasília. EBL is supported by the Brazilian Logic Society and have successfully attracted researchers and students from Latin America and elsewhere. A Logic School, aimed at both undergraduate and graduate students, precedes the main conference and includes lectures and short tutorials about logics and related fields. The last two editions were held in Petrópolis and were extremely successful (2014, 112 registered participants; 2011, 121 registered participants). For more information about the last EBL, please see http://www.uff.br/ebl/. The dates for EBL are not fixed yet, but we are aiming for a shoulder-to-shoulder organisation, which we believe would attract more participants from Latin America to ITP/TABLEAUX and enable attendees of ITP/TABLEAUX to also join the rich experience of EBL.

Paranoá Lake

Social Events/Catering

We are planning for a city tour followed by a conference dinner. One possibility is to visit the Itamaraty Palace (Foreign Affairs Ministry). The building was designed by Niemeyer, the gardens by Burle Marx, and inside we can find the works by Bulcão and Volpi, among others. Conference dinner is planned to happen in a location by the Paranoá Lake.

Two coffee breaks and the lunch will be provided every day at the conference centre. Between breaks, coffee and water will be available.

Brasília at Night from Outerspace (NASA)

Potential Sponsors

Besides the support of the University of Brasília, we will apply for grants which are usually on call by the two national research councils, CNPq and CAPES, as well for grants by the local research council, FAP-DF, and Finatec. Deadlines for applications usually fall between six and three months prior to the event. Although we cannot assure we will receive funds from those sources, we have been successful in previous applications, obtaining resources that were enough to fund travelling and accommodation of invited speakers as well as most of the costs for location of the conference centre and equipment.

We will also be looking for sponsorship by associations related to logic and computer science (ASL, Brazilian Logic Society, ACM SIGLOG, Brazilian Computer Society, etc).

Ipê Amarelo

Expenses, Registration

Expected expenses were calculated considering the co-location of ITP/TABLEAUX/FroCoS, that is, the events running in parallel, with the possibility of plenary meetings, and a total of 80 participants. Calculations include two days of tutorials/workshops with at most three parallel events (six one day workshops/tutorials, or three two days workshops/tutorials). In detail:

  • Amphitheatre, 80 people, four days: € 1680.00
  • Three rooms, 30 people, two days: € 840.00
  • One room, 40 people, four days: € 700.00
  • One room, reception, office, all days: € 560.00
  • Equipment (projector, computer, microphone, sound system), for all rooms, all days: € 2,600.00
  • Catering, 80 people, including lunch, all days:
    € 5,480.00
  • Conference dinner, 80 people: € 1,600.00
  • Invited Speakers (ITP/TABLEAUX/FroCoS), five invited speakers: € 5,000,00
  • Total costs are € 18,460.00. Based on this scenario, in order to cover all the costs, registration is expected to be around € 230.00 per person, including lunch and social events. For the worst scenario – where costs are not shared between conferences, the number of attendees would be therefore reduced, but costs with location and equipment would also be reduced – we estimate registration around € 250.00. In both cases, if applications for funding are successful, registration fees could be lowered and/or we could apply reduced or waiving fees for students.

    We have not included publication costs in the above calculation as the proceedings, for all conferences, are usually published as part of the LNCS series which is offered by Springer for free.

    The Sunset in August

    Webpage

    The webpage will be hosted at no cost by the University of Brasília. Design and implementation will be carried out, at no cost, by the Junior Enterprises which are linked to the Department of Computer Science and the Department of Design.

    This page is maintened by Cláudia Nalon. Last Updated: