7th Workshop on Logic, Language, Information and Computation

August 15-18, 2000

Hotel Barreira Roxa, Natal, Brazil

Scientific Sponsorship
Interest Group in Pure and Applied Logics (IGPL)
European Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)

Fundação Norte-Rio-Grandense de Pesquisa e Cultura (FUNPEC)
Pró-Reitoria de Extensão, Univ. Fed. do Rio Grande do Norte (PROEX-UFRN)

Centro de Informática, Universidade Federal de Pernambuco (CIn-UFPE
Departamento de Informática e Matemática, Univ. Fed. do Rio Grande do Norte (DIMAP-UFRN)


Natal is the capital and largest city of Rio Grande do Norte, a sun shiny land of beaches, dunes, coconut trees, located in north-east coast of Brazil. There, the summer takes all year long (sun shines more than 300 days per year), and the heat is softened by a constant breeze.

Along the 400-kilometer (250-mile) coast line, calm beaches with reefs forming natural pools altern with good surfing spots, almost untouched places full of sand dunes and coconut trees.

The following picture helps you locate Natal:

Maps that localize the city


Cotovelo (elbow) beach:
White sand...

Genipabu beach:

...blue skies...

Ponta Negra beach:

...lukewarm, turquoise sea...

Ponta Negra beach again:

...and exotic vegetation.

Historical buildings

Natal city hall:

An old colonial building

Reis Magos Fort:

Old, white fort baths in the ocean

Cāmara Cascudo Museum:

Prehistorical skeletons


Rocket launching base Barreira do Inferno (Hell's Bareer)

Rocket display

Last updated July 19, 2000, 17:07:00 GMT-0300