Historical
RemarksThe Brazilian Logic Conference (EBL) is a traditional event on the agenda of several prominent researchers from Brazil and Latin America, in the areas of Computer Science, Foundations and Philosophy of Science, Informatics, Artificial Intelligence, Logic and Mathematics. It is important to remark that some research agencies, national and international, have been regularly sponsored the EBLs.
The goal of EBL is to encourage the dissemination and the discussion of research papers in the area of Logic and their interconnections with the areas of Computer Science, Foundation and Philosophy of Science, Informatics, Artificial Intelligence and Mathematics.
More about the history of EBL.
Logic School
Since the last edition of EBL, in 2008, the Logic School was incorporated to the Conference, aimed at undergraduate and graduate students interested in Logic and connected researches, but it is also open to anyone who may be interested. The Logic School will happen on the weekend beforehand the Conference, on May 7th -8th, 2011.
More about the Logic School
Download the poster of the conference
Download Brazilian Logic Conference Program 
Registrations are open for the XVI Brazilian Logic Conference/Logic School.
- RegistrationImportant Dates EBL begins at 13h, on May 9th (Monday) and ends at 18h, on May 13th (Friday)
LOGIC SCHOOL begins at 9h, on May 7th (Saturday) and ends at 20h on May 8th (Sunday) See important dates:
The Brazilian Embassies and Consulates abroad maintain updated web sites, that provide information about visas and entry requirements, such as immunizations, depending on where you are coming from, as well as other practical information and health tips. Please take some time to review the entry requirements to avoid unpleasant surprises.
Home | Description | Comittees | Program | Keynote Speakers | Turing Session | Call for papers | Submissions | Logic School | Registration | Proceedings | Touristic information
Siga o XVI EBL:
