• isr 2018 jnaveriana

10th International School on Rewriting
July 30th - August 3rd, 2018. Cali, Colombia



The content of the courses are available on the Lecturers tab.


Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, and logic, and it is the basis of well-known programming paradigms like functional and equational programming, which are taught at university level in many countries. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) and are implemented in popular systems like Mathematica, Autocad, and others. Rewriting techniques play a relevant role in computing research, education, and industry.



poster-reescritura_emailing1-01.jpgThe International School on Rewriting is promoted by the IFIP Working Group 1.6 Term Rewriting. The school is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.


Two tracks are offered:

  • Track A: for newcomers in the field, or just for people who want to obtain a new, updated exposure.
  • Track B: for those who want to get deeper in the most recent developments and applications of rewriting.


Call for Participation.





Sponsored by:



Track A: Basic Courses

  • José Meseguer (University of Illinois)
    ITR: Introduction to Term Rewriting (15 hours)
    Lectures: 1, 2, 3, 4, 5, 6, 7, 8, 9, 10
    Homeworks: 1 (relation-application.maude, nat-funs.maude, list-funs.maude), 2 (sources)

  • Peter Ölveczky (Universitetet i Oslo)
    ETR: Exercises on Term Rewriting (1.5 hours)
  • Francisco Durán (Universidad de Málaga)
    ETR: Exercises on Term Rewriting (3 hours)
    Homeworks: 3

Track B: Advanced Courses

  • Beniamino Accattoli (INRIA)
    CBR: The Complexity of Beta-reduction (4.5 hours)
    Lectures: 1, 2, 3
    Aditional material: here
  • Peter Ölveczky (Universitetet i Oslo)
    RT: Real-time Specification and Analysis (3 hours)
    Lectures: here
  • Francisco Durán (Universidad de Málaga)
    MP: Meta-programming (3 hours)
    Lectures: here
  • Mauricio Ayala-Rincón (Universidade de Brasília)
    PVS: Formalizing Rewriting and Termination in a Proof Assistant (3 hours)
    Lectures: 1, 2
    Aditional material: proofs, NF 1676L 
  • César Muñoz (NASA - Langley)
    PVS: Formalizing Rewriting and Termination in a Proof Assistant (3 hours)
    Lectures: 1
  • Santiago Escobar (Universitat Politècnica de València)
    NA: Narrowing-based Analysis (3 hours)
    Lectures: 1, 2
  • Kyungmin Bae (Pohang University of Science and Technology)
    SMC: Symbolic Model Checking (4.5 hours)


Basic Track

Time Monday Tuesday Wednesday Thursday Friday
8:30 - 10:00 Registration and Opening Meeting - C.Rocha Introduction to Term Rewriting (ITR 04) - J.Meseguer Introduction to Term Rewriting (ITR 07) - J.Meseguer Exercises on Term Rewriting (ETR 02) - F.Durán Symbolic Model Checking (SMC 01) - K.Bae
10:00 - 10:30 Coffee Break
10:30 - 12:00 Introduction to Term Rewriting (ITR 01) - J.Meseguer Introduction to Term Rewriting (ITR 05) - J.Meseguer Introduction to Term Rewriting (ITR 08) - J.Meseguer Exercises on Term Rewriting (ETR 03) - F.Durán Symbolic Model Checking (SMC 02) - K.Bae
12:00 - 13:50 Lunch
14:00 - 15:30 Introduction to Term Rewriting (ITR 02) - J.Meseguer Introduction to Term Rewriting (ITR 06) - J.Meseguer Introduction to Term Rewriting (ITR 09) - J.Meseguer Field Trip Symbolic Model Checking (SMC 03) - K.Bae
15:30 - 16:00 Coffee Break Coffee Break
16:00 - 17:30 Introduction to Term Rewriting (ITR 03) - J.Meseguer Exercises on Term Rewriting (ETR 01) - J.Meseguer & P.Ölveczky Introduction to Term Rewriting (ITR 10) - J.Meseguer What's Next? - C.Rocha

Advanced Track

Time Monday Tuesday Wednesday Thursday Friday
8:30 - 10:00 Registration and Opening Meeting - C.Rocha

Real-time Specification and Analysis (RT 01) - P.Ölveczky

Formalizing Rewriting and Termination in a Proof Assistant (PVS 02) - M.Ayala, C.Muñoz Narrowing-based Analysis (NA 01) - S.Escobar Symbolic Model Checking (SMC 01) - K.Bae
10:00 - 10:30 Coffee Break
10:30 - 12:00 The Complexity of Beta-Reduction (CBR 01) - B.Accattoli Real-time Specification and Analysis (RT 02) - P.Ölveczky Formalizing Rewriting and Termination in a Proof Assistant (PVS 02) - M.Ayala, C.Muñoz Narrowing-based Analysis (NA 02) - S.Escobar Symbolic Model Checking (SMC 02) - K.Bae
12:00 - 13:50 Lunch
14:00 - 15:30 The Complexity of Beta-Reduction (CBR 02) - B.Accattoli Meta-programming (MP 01) - F.Durán Formalizing Rewriting and Termination in a Proof Assistant (PVS 03) - M.Ayala, C.Muñoz Field Trip Symbolic Model Checking (SMC 03) - K.Bae
15:30 - 16:00 Coffee Break Coffee Break
16:00 - 17:30 The Complexity of Beta-Reduction (CBR 03) - B.Accattoli Meta-programming (MP 02) - F.Durán Formalizing Rewriting and Termination in a Proof Assistant (PVS 04) - M.Ayala, C.Muñoz What's Next? - C.Rocha




Registration Information

Registration dates:

  • Early registration: up to June 30th.
  • Late registration: from July 1st to July 29th.


Below you will find detailed information for registering in the ISR 2018. There are several categories for registrants and different fees.

Please follow these steps to complete your registration:

  1. Select the appropriate category for payment. By clicking in the corresponding payment icon, you will be re-directed to a payment form. There, you will be asked to provide basic information. The registration fee can be paid using several options, including credit card and bank transfer.
  2. Once the payment has been registered, please save a copy (e.g., in PDF format) of the payment confirmation.
  3. Fill out the registration form by providing, among other, information related to the track you will be attending (i.e., basic or advanced) and the type of menu (i.e., regular or vegetarian). Please also upload the payment confirmation file obtained in step 2.
  4. Once the information has been validated, you will receive an email message confirming your registration.

Registration Fees (tax included)

Early (US Dollars)
Late (US Dollars)
Payment Link
Regular $300 $400 Lectures, school supplies, social event and banquet. Pay
CLEI and SCC members $200 $300 Lectures, school supplies and social event. Pay
Pontificia Universidad Javeriana de Cali students $150 $250 Lectures, school supplies, social event and banquet. Pay
Accompanying person $50 $50 Banquet and social event(depending on availability). Pay
  • Lunches and coffee breaks are included.
  • Social event includes the visit to a nature reserve.

Registration Form

Register here.


These are some hotel recomendations sorted by distance to the university:

Casa Villa Javier

Address: At University campus

Phone: +5725553884

E-mail: jchamorro@javerianacali.edu.co

US $35 per night (aprox.)


Casa Santa Mónica

Address: Calle 10 Carrera 122 A Casa 51 Callejon San Jerónimo - Pance

Phone: +5726685180 / +5726611670

E-mail: Mercadeo@casasantamonicacali.com

Breakfast included

US $35 per night (aprox.)


MS Ciudad Jardin

Address: Carrera 101 # 15A-35

Phone: +5723156060


Breakfast included

US $60 per night (aprox.)


NH Royal

Address: Carrera 100 No. 11 A - 99

Phone: +5723307777

E-mail: reservas.ame@nh-hotels.com

Breakfast included

US $85 per night (aprox.)


Hotel Intercontinental

Address: Avenida Colombia No. 2-72

Phone: +5728823225

E-mail: anac.zafra@hotelesestelar.com

Breakfast and transportation (airport-hotel) included

28th - 29th July

Standard single room US $72 per night (aprox.)

Standard double room US $ 85 per night (aprox.)

30th July - 3th August

Standard single room US $ 82 per night (aprox.)

Standard double room US $ 95 per night (aprox.)


MS Centenario


Address: Avenida 3 Nte No. 7 N-20

Phone: +5726606778 / +573182096592

E-mail: reservasmsciudadjardin@hotelesms.com / ejecutivodecuenta9@hotelesms.com

Breakfast included

US $50 per night (aprox.)


Hotel Obelisco

Address: Avda Colombia No. 4 Oeste - 49

Phone: +5728933019

E-mail: departamentocomercial@hotelobeliscocali.com

Breakfast included

US $60 per night (aprox.)


Hotel Cosmos

Address: Avenida 3 Nte No. 17 N-25

Phone: +5726618181 / +573209444407

E-mail: reservas@hotelescosmos.com;kelly_alzate@hotelescosmos.com

Breakfast included

US $50 per night (aprox.)


Torre de Cali Plaza Hotel

Address: Avenida Americas 18N-26

E-mail: dcc1@hoteltorredecali.com

Breakfast and transportation (airport-hotel) included

US $65 per night (aprox.)


Four Points by Sheraton

Address: Calle 18 Norte No. 4N-08

Phone: +572685999

E-mail: adriana.alzate@ghlhoteles.com

Breakfast and transportation (airport-hotel) included

US $75 per night (aprox.)


MS Chipichape

Address: Avenida 4A Norte # 37AN - 84

Phone: +5724874050

E-mail: ejecutivodecuenta9@hotelesms.com

Breakfast included

US $55 per night (aprox.)







The Host University

The Pontificia Universidad Javeriana in Cali, a university founded and guided by the principles of Jesuit education, is the venue for ISR 2018. Pontificia Universidad Javeriana (site Bogotá) is one of the oldest and most prestigious higher education institutions in the country, dating back to 1623. In 1970 Pontificia Universidad Javeriana Cali was established as an autonomous institution. For more than 4 decades of existence, it has been involved in teaching, research and services (community outreach) with and within its regional context: the southwest of Colombia and the Valle del Cauca in particular. 

The university has four schools: Economic and Administrative Sciences, Humanities and Social Sciences, Engineering, and Health Sciences. Besides offering a great diversity of undergraduate and graduate programs, the university also offers diploma and certificate courses in different areas of knowledge through its continuing education department. It offers 19 undergraduate programs, 16 graduate programs (professional specializations), 11 master programs, and 1 PhD program. Its academic community includes 750+ professors, of which 76 full-time Ph.D professors and 50 full-time Ph.D professors in training. There are 7000+ students and 21000+ alumni. It has 32 research groups of which 27 are recognized by COLCIENCIAS (Colombian State Agency for the Advancement of Science and Technology in Higher Education Institutions) and 6 scientific journals.

This campus offers the following facilities:

  • 184,254 m2 constructed.
  • 151,899 m2 of campus area.
  • 152 classrooms, laboratories, and multimedia rooms.
  • 3 auditoriums for 800, 200, and 120 people, respectively.
  • 1 television studio.
  • Javeriana Stereo 107.5 FM - Radio station.

Please visit http://www.javerianacali.edu.co/ for more information.

The City

Santiago de Cali, usually known by its short name "Cali", is the capital of the Valle del Cauca department, and the most populous city in western Colombia with an estimated 2,319,655 residents. The city spreads out across 560,3 km2 and 120,9 km2 of urban area, making Cali the second largest city in the country behind Bogotá. As the only major Colombian city with access to the Pacific coast it is the principal urban, cultural, and economic city in western Colombia, making the city one of the fastest growing economies in Colombia. The city was founded on 25 July 1536 by the Spanish conquistador Sebastián de Belalcázar. 

Due to its proximity to the equator there are no major seasonal variations. However, locals refer to the dry season as the city's "summer" in which temperatures can rise to 34 to 36 °C (93 to 97 °F) and go down in the nights to 18 to 19 °C (64 to 66 °F). There is another period called the rainy season "winter" in which temperatures can rise to 28 to 29 °C (82 to 84 °F) and go down in the nights to 16 to 17 °C (61 to 63 °F). There are typically two rainy seasons: from March to May and from October to November. However, rain can be expected to fall at any point during the year nourishing the city's permanent green and lush vegetation. Just walking could not mean a lot, but caleños love doing it in the late afternoon. After 4 pm, when the heat goes down, the breeze starts. It comes from the neighboring mountains, and refreshes souls.

Cultural Centers and Museums

Casa de la cultura Proartes. Since 1871 this house has been a great influence in the culture in Cali. The building was restored on 1991 and it contains exhibition saloons, scenarios and a cinema.

Centro cultural de Cali. Its design was under the charge of the famous Colombian architect Rogelio Salmona, who built as well the Torres del Parque in Bogotá and several other buildings. Since 1997 it is considered the cultural center in the city and headquarters of the Municipal secretaries of tourism and culture.


  • Museo Arqueológico La Merced. Archaeology.
  • Museo Religioso y Colonial de San Francísco. Religion.
  • Museo del Oro Calima from the Rebublica bank. Gold museum, archaeology.
  • Museo de arte moderno La Tertulia. Modern art.
  • Museo Arqueologico de la Universidad del Valle. Archaeology, very close to the university.
  • Museo Departamental de Ciencias Naturales. Natural sciences.
  • Museo Nacional del Transporte. Transport, near the airport.
  • Museo de Arte Religioso. Religion.

Main Touristic Attractions

Santiago de Cali offers historical areas with cultural variety and other attractions. In downtown Cali there are many historic churches such as La Merced and La Ermita. Cali contains a well preserved historical center. The most important zone is La plaza de Caicedo, considered the center of the city, which is a square surrounded by many historical and modern buildings like El edificio Otero, La Catedral and El Palacio de Justicia. This plaza is close to other tourist places, like The Saint Francis church (in Spanish, Iglesia de San Francisco), the municipal theater, the Cali Boulevard and La Merced church. The city is also rich in monuments, parks, squares and museums. The most emblematic sculptures are Cristo Rey, located upon a mountain range; Sebastian de Belalcazar, founder of the city; and Las tres Cruces, a place of pilgrimage during the days of the Holy Week.

There is a variety of nightclubs and restaurants. In the city you can find whole districts dedicated to tourism, for example Granada, one of the most traditional districts in Cali, full of gourmet restaurants, fashion stores and boutiques. In recent years the restaurant industry has boomed, ranking Cali very close to Bogotá in first-class restaurant options. Some interesting places are:

  • Plaza de Caicedo: The main square of the city, located in downtown Cali. The plaza is named after Cali's hero, Joaquin de Caicedo y Cuero.
  • Parque del perro: Located in the San Fernando neighborhood, this is one of the most popular areas in the city, full of restaurants and bars. If you want to party or just have a nice dinner, then this is the place for you. The park gets its name because it has a dog monument in the middle of it.
  • Avenida San Joaquin: Located in the Ciudad Jardin popular is a place in the city, is a pink area, VIP. Very close to the university.
  • Menga: Located north of Santiago de Cali, is one of the most representative of the rumba in the city, where you can find all the rhythms of time, plus exclusive platform to see the best artists in action, highly comfortable facilities, environment heated, only club in the area of Menga with VIP area, latest sound technology and robotic lights, the best rumba crossover lawless carrot.
  • Sebastian de Belalcazar's monument: It is the most visited and popular monument in the city located in the hills overlooking the city. The monument is famous due to its pointing finger which is pointing to the opposite direction of the valley, while its face is looking down at the city.
  • Cali River: One of the most peaceful zones in the city, the river is located in the west and is surrounded by restaurants, hotels and museums like "La Tertulia", an art museum and the Tejada's cat.
  • Cristo Rey: A religious monument located on a hill that offers the best view of the city. It is 31 m high, of which 5 m belong to the base.
  • San Antonio: It is the most traditional neighborhood of Cali. In the colonial age, it was the extension of the downtown. Although it was split off by "La calle Quinta" (Fifth street), it conserves its traditional aura which makes an inevitable step on the visit. All the neighborhood is on a hill, and at the top you will find the San Antonio Park.
  • Juanchito: Host to a large number of discothèques dedicated to salsa music (Agapito, Chango, etc.), peppered with motels offering hourly rates, and adjacent to some of the poorest areas of the city, Juanchito is a popular destination for Calenos looking to party. Although many would prefer to keep it off the list, Juanchito is notorious and deserves mention. Technically, it belongs to another municipality, but is often visited by and associated with citizens of Cali. It is said that if Cali is the capital of salsa, Juanchito is the temple that worships its cult. To get there, caleños must pass a bridge over the Cauca river, which has been immortalized by the Salsa song titled "Del puente para alla es Juanchito".
  • Cali Zoo: Ranked in the five Latin American zoos. It has became more than simply a place to show animals, as it is involved in research. Its location could not be more wonderful, alongside the Cali river, just where valley and mountains get together. Nearby is the "Jardín Botánico de Cali" (Cali Botanical Garden), founded by Jorge Enrique Orejuela.
  • Farallones de Cali: A part of the city sits on hills belonging to the Colombian western mountain chain. Beyond these hills is Farallones de Cali national park. Although Caleños have not yet fully discovered it, in recent years it has boomed as a tourist destination for a full range of different people; adventurists to climb, walk, paragliding; naturists for its natural and life environments; or simply for those looking for 'cold' weather minutes away from urban areas.
  • Orquideorama Enrique Perez Arbelaer: This lovely, wooded park, at AV 2 N #48-10, is the site of the large orchid show hosted each fall by Asociacion Vallecaucana de Orquideologia. It is also a good place for birdwatching.


It is normal in Cali to think of a shopping mall as a touristy place. Most of them are built like urban boulevards, with open-air walking corridors that look like a 'Main Street' side walk. With the large facilities providing complete amenities, Caleños love just taking walks in them, enjoying the fact that everything is at hand. The most traditional malls are Unicentro in the south and Chipichape in the north; both are built in the open-air style. Others of this type are Palmetto Plaza, Jardin Plaza, and Cosmocentro. Other malls in Cali are Centenario, Unico and La14. Tens of smaller malls are spread all over the city.

Air Transportation

Santiago de Cali is served by Alfonso Bonilla Aragón International Airport (IATA: CLO, ICAO: SKCL), located in the City of Palmira. It is Colombia's third largest airport in terms of passengers (transporting 3,422,919 in 2010) and fourth in cargo. Alfonso Bonilla Aragón is located in a long, narrow valley that runs from north to south, and is surrounded by mountains up to 14,000 feet (4,300 m) high. The airport is connected to the city by a highway known as the "recta a Palmira", that in the last few years has been upgraded to make the airport more accessible to Cali and the surrounding city centers in the region.

Alfonso Bonilla Aragón International Airport has direct flights from Miami, Panama City, Mexico City, Santiago de Chile, Lima, Sao Paulo, Madrid, and New York City among other cities. The airport is located 25 minutes from Cali. It has several international recognized hotels such as Radisson Royal Hotel, Intercontinental Hotel, Marriott, Four Points by Sheraton, and Hampton by Hilton as well as local hotel chains such as Hotel Club Campestre and Dann Carlton Hotel among others.

Public Transportation

It is recommended you book your transportation with our partner transportation company: 

Turex Colombia (http://turexcolombia.com)

Tel: (+57 2) 654-3620.

Mobile: (+57) 316 448-89 03 / 320 773-1920

Email: info@turexcolombia.com




The city of Cali offers a variety of ways to move through the city; in March 2009, The Masivo Integrado de Occidente (MIO) began operations. It is planned to be the primary system that connects the city. Taxis and old buses are the secondary way to get around. Taxis are one of the best systems that tourists can use, as they are relatively inexpensive and are more secure. However, it is recommended not to hail taxis, but to call to the taxi central phone. Non-MIO buses round out the system and are used primarily by the working class to get around and are less expensive to use. Buses are secure but not at the same level as taxis. This part of the transport in the city is awaiting a needed reorganization of routes.

Masivo Integrado de Occidente (MIO): A massive transit system; M.I.O is based on the transport model that consists of the use of articulated buses which operate on dedicated bus lanes running down the middle of major thoroughfares. MIO bus stations are located in the middle of the thoroughfare, and are connected to sidewalks by dedicated pedestrian crossings or bridges. The system layout is 243 kilometres (151 miles) and is distributed in a main trunk, pre-trunk and complementary corridors. The system also integrated the renovation and recuperation of the public space. The MIO system was not only designed for the public transport, but built for public use with extensive new sidewalks, parks, gardens and public squares for the public to enjoy. http://www.mio.com.co.

The Pontificia Universidad Javeriana university is located at the south end of the city and it is reachable from the MIO "Universidades" station.

Bus Central Station

Cali is served by over 20 coach companies which gather in the Central Bus Station. The Station is centrally located near the old (now redundant) railway station, which serves now as Metrocali's headquarters. Depending on the company and the destination, the vehicles range from minibuses to large coaches. Recently, in their last float renovation wave, Colombian coaches operators have opted for Brazil's Marcopolo buses. Informal stops exist for the short destination rides all along the way from Central Station to the town of destination. In some cases, it is enough for a passenger to ask to get off the bus for the bus to stop.

Visa to Colombia

The following list includes countries that need an entry visa for Colombia and it is taken from the website Colombia.Travel of the Colombian Ministry of Commerce, Industry and Tourism (http://www.colombia.travel/en/practical-information/visa). Please contact the local consulate or embassy of Colombia in your country of residence for further information about requirements for traveling to Colombia. Feel free to contact isr2018@javerianacali.edu.co if you need assistance.

Saudi Arabia
Bosnia and Herzegovina
Burkina Faso
Cape Verde
China Republic
Comoros People
Congo Democratic Republic 
Korea Dem. People's Republic
Cote d'Ivoire
Guinea Bissau
Equatorial Guinea
Democratic Republic P
Macao (SARG- China)
Central African Republic
Sao Tome and Principe
Sierra Leone
Sri Lanka
South Africa
Sudan of the South
Taila ndia
East Timor


Contact Information


Sponsored by: