WoLLIC'2000
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)

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

Organisation
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)

Location

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



Beaches

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


Technology


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

Rocket display

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