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/2024/newsitem/14984/6-
 --7-September-2024-The-16th-Latin-American-Worksho
 p-on-New-Methods-of-Reasoning-Oaxaca-Mexico
DTSTAMP:20240516T162115
SUMMARY:The 16th Latin American Workshop on New Me
 thods of  Reasoning, Oaxaca, Mexico
DTSTART;VALUE=DATE:20240906
DTEND;VALUE=DATE:20240907
LOCATION:Oaxaca, Mexico
DESCRIPTION:LANMR 2024 is the sixteenth edition of
  the Latin American Workshop series on Logic/Langu
 ages, Algorithms and New Methods of Reasoning. The
  aim of this workshop is to bring together people 
 from different fields such as programming language
 s foundations, formal verification, philosophy or 
 artificial intelligence, around methods of reasoni
 ng and applications involving logic.  LANMR 2024 w
 ill be an in-person event. The venue will be at th
 e Universidad Benito Juárez de Oaxaca (Oaxaca, Mex
 ico), it will happen as a satellite of the 7th Wor
 ld Congress of Paraconsistency.  We call for exten
 ded abstracts. In particular you can present work 
 in progress or work that is recently published els
 ewhere. Extended abstracts written in English limi
 ted to 3 pages including footnotes and appendices 
 (but not references) are required. Abstracts are t
 o be prepared for anonymous review and should be s
 ubmitted, using the Easychair Latex Class, via Eas
 yChair. The language of the workshop is English, a
 uthors of accepted contributions will be required 
 to give a 20 minute in-person presentation, plus 1
 0 minutes for questions and discussion.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>LANMR 202
 4 is the sixteenth edition of the Latin American W
 orkshop series on Logic/Languages, Algorithms and 
 New Methods of Reasoning. The aim of this workshop
  is to bring together people from different fields
  such as programming languages foundations, formal
  verification, philosophy or artificial intelligen
 ce, around methods of reasoning and applications i
 nvolving logic.</p>\n  <p>LANMR 2024 will be an in
 -person event. The venue will be at the Universida
 d Benito Juárez de Oaxaca (Oaxaca, Mexico), it wil
 l happen as a satellite of the <a href="https://si
 tes.google.com/view/wcp7/home" target="_blank" rel
 ="noopener">7th World Congress of Paraconsistency<
 /a>.</p>\n</div><div>\n  <div>\n    <p>We call for
  extended abstracts. In particular you can present
  work in progress or work that is recently publish
 ed elsewhere. Extended abstracts written in Englis
 h limited to 3 pages including footnotes and appen
 dices (but not references) are required. Abstracts
  are to be prepared for anonymous review and shoul
 d be submitted, using the <a href="https://easycha
 ir.org/publications/easychair.zip" target="_blank"
  rel="noopener">Easychair Latex Class</a>, via <a 
 href="https://easychair.org/conferences/?conf=lanm
 r2024" target="_blank" rel="noopener">EasyChair</a
 >. The language of the workshop is English, author
 s of accepted contributions will be required to gi
 ve a 20 minute in-person presentation, plus 10 min
 utes for questions and discussion.</p>\n  </div>\n
 </div>
URL:http://www.lanmr.unam.mx
END:VEVENT
END:VCALENDAR