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/15308/7-
 --8-April-2024-Workshop-on-Theorem-Proving-and-Mac
 hine-Learning-Edinburgh-Scotland
DTSTAMP:20241202T151059
SUMMARY:Workshop on Theorem Proving and Machine Le
 arning, Edinburgh, Scotland
DTSTART;VALUE=DATE:20240407
DTEND;VALUE=DATE:20240408
LOCATION:Edinburgh, Scotland
DESCRIPTION:Machine learning has been shown to be 
 very successful in programming and translation tal
 ks, and creates new opportunities combining AI wit
 h proofs. Recently, various claims have been made 
 that large language models (LLMs) will revolutioni
 se these areas. However, many questions about the 
 details of the applications of LLMs and their impa
 ct on theorem proving and mathematics remain open.
  At the workshop, we want to bring together resear
 chers from a wide range of communities: mathematic
 s, automated and interactive theorem proving, mach
 ine learning, natural language processing, and for
 mal methods, in order to discuss the state-of the 
 art and future directions for this new area of res
 earch.  The workshop solicits contributed talks su
 pported by an extended abstract of up to 2 pages i
 n LNCS format, excluding references. Abstracts wil
 l be reviewed for relevance and quality and subseq
 uently made public on the workshop’s web page. 
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Machine l
 earning has been shown to be very successful in pr
 ogramming and translation talks, and creates new o
 pportunities combining AI with proofs. Recently, v
 arious claims have been made that large language m
 odels (LLMs) will revolutionise these areas. Howev
 er, many questions about the details of the applic
 ations of LLMs and their impact on theorem proving
  and mathematics remain open. At the workshop, we 
 want to bring together researchers from a wide ran
 ge of communities: mathematics, automated and inte
 ractive theorem proving, machine learning, natural
  language processing, and formal methods, in order
  to discuss the state-of the art and future direct
 ions for this new area of research.</p>\n</div><di
 v>\n  <p>The workshop solicits contributed talks s
 upported by an extended abstract of up to 2 pages 
 in LNCS format, excluding references. Abstracts wi
 ll be reviewed for relevance and quality and subse
 quently made public on the workshop’s web page.&nb
 sp;</p>\n</div>
URL:https://europroofnet.github.io/wg5-edinburgh25
 /
END:VEVENT
END:VCALENDAR