BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2025/newsitem/15162/9-
 --16-May-2025-XXI-Brazilian-Logic-Conference-EBL-2
 025-Sao-Paulo-and-Serra-Negra-Brazil
DTSTAMP:20240924T234720
SUMMARY:XXI Brazilian Logic Conference (EBL 2025),
  Sao Paulo and Serra Negra, Brazil
DTSTART;VALUE=DATE:20250509
DTEND;VALUE=DATE:20250516
LOCATION:Sao Paulo and Serra Negra, Brazil
DESCRIPTION:The Brazilian Logic Conference (EBL) i
 s the main event organized by the Brazilian Logic 
 Society (SBL) and has been occurring since 1979. T
 he EBL congregates logicians from different fields
  and the meeting is an important moment for the Br
 azilian and South-American community to come toget
 her and engage in a discussion about the state of 
 the art of their subject. The areas of Logic cover
 ed span Foundations and Philosophy of Science, Mat
 hematics, Computer Science, Informatics, Linguisti
 cs, and Artificial Intelligence. The goal of the E
 BL meeting is to encourage the dissemination and d
 iscussion of research papers in Logic in a broad s
 ense. It is expected to have among the participant
 s several invited speakers from different continen
 ts.  In 2025, the 21st edition of EBL will be held
  from May 12 to May 16 at the city of Serra Negra,
  São Paulo State, preceded by the Logic School fro
 m May 9 to May 11 at São Paulo City.  We cordially
  invite submissions of contributed talks, in the f
 orm of an extended abstract, on the general topics
  of Logic. Proposals for contributions are of thre
 e kinds, all of which may be prepared in English, 
 Portuguese or Spanish:  (A) Talks  (B) Poster  (C)
  Round tables and small workshops  The deadline fo
 r all types of submission is December 15, 2024.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Brazi
 lian Logic Conference (EBL) is the main event orga
 nized by the Brazilian Logic Society (SBL) and has
  been occurring since 1979. The EBL congregates lo
 gicians from different fields and the meeting is a
 n important moment for the Brazilian and South-Ame
 rican community to come together and engage in a d
 iscussion about the state of the art of their subj
 ect. The areas of Logic covered span Foundations a
 nd Philosophy of Science, Mathematics, Computer Sc
 ience, Informatics, Linguistics, and Artificial In
 telligence. The goal of the EBL meeting is to enco
 urage the dissemination and discussion of research
  papers in Logic in a broad sense. It is expected 
 to have among the participants several invited spe
 akers from different continents.</p>\n  <p>In 2025
 , the 21st edition of EBL will be held from May 12
  to May 16 at the city of Serra Negra, São Paulo S
 tate, preceded by the Logic School from May 9 to M
 ay 11 at São Paulo City.</p>\n</div><div>\n  <p>We
  cordially invite submissions of contributed talks
 , in the form of an extended abstract, on the gene
 ral topics of Logic. Proposals for contributions a
 re of three kinds, all of which may be prepared in
  English, Portuguese or Spanish:<br>\n  (A) Talks<
 br>\n  (B) Poster<br>\n  (C) Round tables and smal
 l workshops</p>\n  <p>The deadline for all types o
 f submission is December 15, 2024.</p>\n</div>
URL:https://ebl2025.ime.usp.br/in%C3%ADcio
CONTACT:Marcelo E. Coniglio at coniglio at unicamp
 .br
CONTACT:Lucia R. Junqueira at lucia at ime.usp.br
CONTACT:Bruno Lopes at bruno at ic.uff.br
END:VEVENT
END:VCALENDAR