Skip to Content.
Sympa Menu

lfcs-interest - FW: *CANCELLED* AIAI Seminar: Monday 19th January 14:00, Room Informatics G.03, Speaker Ursula Martin

Subject: Events and news relevant to the Laboratory for Foundations of Computer Science

List archive

FW: *CANCELLED* AIAI Seminar: Monday 19th January 14:00, Room Informatics G.03, Speaker Ursula Martin

Chronological Thread  
    < Chronological >       < Thread >
  • From: Paul Jackson <Paul.Jackson@ed.ac.uk>
  • To: LFCS Interest <lfcs-interest@mlist.is.ed.ac.uk>, "inf-dreamers@mlist.is.ed.ac.uk" <inf-dreamers@mlist.is.ed.ac.uk>
  • Cc: Jodie Cameron <Jodie.Cameron@ed.ac.uk>
  • Subject: FW: *CANCELLED* AIAI Seminar: Monday 19th January 14:00, Room Informatics G.03, Speaker Ursula Martin
  • Date: Mon, 19 Jan 2026 10:12:49 +0000
BEGIN:VCALENDAR
METHOD:CANCEL
PRODID:Microsoft Exchange Server 2010
VERSION:2.0
BEGIN:VTIMEZONE
TZID:GMT Standard Time
BEGIN:STANDARD
DTSTART:16010101T020000
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=10
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:16010101T010000
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
RRULE:FREQ=YEARLY;INTERVAL=1;BYDAY=-1SU;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
ORGANIZER;CN=Informatics Institute News;SENT-BY="mailto:Paul.Jackson@ed.ac.u
 k":mailto:institute-news@inf.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=LFCS Inter
 est:mailto:lfcs-interest@mlist.is.ed.ac.uk
ATTENDEE;ROLE=REQ-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=inf-dreame
 rs@mlist.is.ed.ac.uk:mailto:inf-dreamers@mlist.is.ed.ac.uk
ATTENDEE;ROLE=OPT-PARTICIPANT;PARTSTAT=NEEDS-ACTION;RSVP=TRUE;CN=Jodie Came
 ron:mailto:Jodie.Cameron@ed.ac.uk
DESCRIPTION;LANGUAGE=en-GB:TALK CANCELLED\n\nUrsula Martin’s talk on "Wil
 l machines change pure mathematics?” is not going ahead today.  It has b
 een provisionally rescheduled for Monday 16th March.\n\nPaul.\n\nFrom: inf
 -aiai-seminars-request@mlist.is.ed.ac.uk <inf-aiai-seminars-request@mlist.
 is.ed.ac.uk> on behalf of Informatics Institute News <institute-news@inf.e
 d.ac.uk>\nDate: Monday\, 19 January 2026 at 09:50\nTo: inf-aiai-seminars@m
 list.is.ed.ac.uk <inf-aiai-seminars@mlist.is.ed.ac.uk>\, inf-seminars@mlis
 t.is.ed.ac.uk <inf-seminars@mlist.is.ed.ac.uk>\nCc: Zonglin Ji <Zonglin.Ji
 @ed.ac.uk>\, Rim Rubavicius <rimvydas.rubavicius@ed.ac.uk>\, Xingran Ruan 
 <x.ruan@epcc.ed.ac.uk>\, Kathrin Cresswell <Kathrin.Cresswell@ed.ac.uk>\, 
 Oliver Soeser <Oliver.Soeser@ed.ac.uk>\, Ram Ramamoorthy <s.ramamoorthy@ed
 .ac.uk>\, Christian Odenwald <C.L.Odenwald@sms.ed.ac.uk>\, Robin Williams 
 <R.Williams@ed.ac.uk>\, Alan Bundy <A.Bundy@ed.ac.uk>\, Mohan Sridharan <m
 .sridharan@ed.ac.uk>\, Alex Hyman <A.R.Hyman@sms.ed.ac.uk>\, Tejas Shankar
  <M.Shankar-1@sms.ed.ac.uk>\, Euan Morse <euan.morse@ed.ac.uk>\, Alex Burf
 ord <A.Burford@ed.ac.uk>\, Frauke Zeller <fzeller@ed.ac.uk>\, Eymen Ünay 
 <M.E.Unay@sms.ed.ac.uk>\, Sharon Goldwater <sgwater@inf.ed.ac.uk>\, Jana I
 ssa <J.Issa@sms.ed.ac.uk>\, Bruce Duncan <Bruce.Duncan@ed.ac.uk>\, Bob Fis
 her <R.B.Fisher@ed.ac.uk>\, Laura Perez <lperez@exseed.ed.ac.uk>\, Rosa Fi
 lgueira <r.filgueira@epcc.ed.ac.uk>\, Nicola Osborne <Nicola.Osborne@ed.ac
 .uk>\, Isabelle Hanlon <I.Hanlon@ed.ac.uk>\, Steven McDonagh <s.mcdonagh@e
 d.ac.uk>\, Mario Antonioletti <m.antonioletti@epcc.ed.ac.uk>\, Shuo Li <S.
 Li@ed.ac.uk>\, Elena Breitmoser <e.breitmoser@epcc.ed.ac.uk>\, Alexandros 
 Keros <akeros@ed.ac.uk>\, Ian Simpson <Ian.Simpson@ed.ac.uk>\, David Sterr
 att <David.C.Sterratt@ed.ac.uk>\, Paul Patras <Paul.Patras@ed.ac.uk>\, Ray
 o Verweij <rayo.verweij@ed.ac.uk>\, Steven Carlysle-Davies <S.Carlysle-Dav
 ies@epcc.ed.ac.uk>\, Huayu Xin <huayu.xin@ed.ac.uk>\, Xiaotang Du <X.Du-30
 @sms.ed.ac.uk>\, Joao Pousa De Moura <Joao.Moura@ed.ac.uk>\, Susan Lechelt
  <susan.lechelt@ed.ac.uk>\, Rebecca Bull <R.M.E.Bull@sms.ed.ac.uk>\, Boris
  Grot <Boris.Grot@ed.ac.uk>\, Sarah Chan <Sarah.Chan@ed.ac.uk>\, Georgios 
 Kalantzis <G.Kalantzis@sms.ed.ac.uk>\, Lawrence Piao <ypiao@ed.ac.uk>\, Ku
 rtulus Bulus <K.Bulus@sms.ed.ac.uk>\, Milos Nikolic <milos.nikolic@ed.ac.u
 k>\, Ana-Maria Radu <A.Radu-1@sms.ed.ac.uk>\, Maria Wolters <Maria.Wolters
 @ed.ac.uk>\, Vaishak Belle <vbelle@ed.ac.uk>\, Laura Sevilla-Lara <l.sevil
 la@ed.ac.uk>\, Shrey Bhardwaj <s.bhardwaj@epcc.ed.ac.uk>\, Benoît Legon <
 benoit.legon@ed.ac.uk>\, Michael Camilleri <michael.p.camilleri@ed.ac.uk>\
 , Bonan Zhao <b.zhao@ed.ac.uk>\, Iain Murray <I.Murray@ed.ac.uk>\, Raúl M
 onroy Borja <raulm@tec.mx>\, Owen Dando <Owen.Dando@ed.ac.uk>\, Jack Geary
  <Jack.Geary@ed.ac.uk>\, Korin Richmond <Korin.Richmond@ed.ac.uk>\, John V
 ines <john.vines@ed.ac.uk>\, Zee Talat <ztalat@ed.ac.uk>\, Edward Moroshko
  <emoroshk@ed.ac.uk>\, Stuart Mckerlie <Stuart.McKerlie@ed.ac.uk>\, Areti 
 Manataki <A.Manataki@ed.ac.uk>\, Tariq Elahi <t.elahi@ed.ac.uk>\, Diya Goe
 l <D.Goel-1@sms.ed.ac.uk>\, Benedetta Catanzariti <benedetta.catanzariti@e
 d.ac.uk>\, Barry Haddow <bhaddow@ed.ac.uk>\, Sanghyeok Choi <Sanghyeok.Cho
 i@ed.ac.uk>\, Fengxiang He <F.He@ed.ac.uk>\, Elliot Crowley <elliot.j.crow
 ley@ed.ac.uk>\, Yu Shen <Yu.Shen@ed.ac.uk>\, Adam Lopez <alopez@inf.ed.ac.
 uk>\, Matthew Whelan <Matthew.Whelan@ed.ac.uk>\, Slinn Sui <X.Sui-7@sms.ed
 .ac.uk>\, Marine Demarty <mdemarty@exseed.ed.ac.uk>\, Meriem El Karoui <Me
 riem.Elkaroui@ed.ac.uk>\, Michael Rovatsos <Michael.Rovatsos@ed.ac.uk>\, A
 ditya Dalmia <A.K.Dalmia@sms.ed.ac.uk>\, Peggy Series <pseries@exseed.ed.a
 c.uk>\, Lawrence Piao <Lawrence.Piao@ed.ac.uk>\, Andy Gordon <Andy.Gordon@
 ed.ac.uk>\, Steph Smith <Steph.Smith@ed.ac.uk>\, Abbey Morgan <Abbey.Morga
 n@ed.ac.uk>\, Judy Robertson <Judy.Robertson@ed.ac.uk>\, Zhaocheng Liu <zc
 .liu@ed.ac.uk>\, Cassia Valentini Botinhao <cvbotinh@ed.ac.uk>\, Jacquelin
 e Rowe <Jacqueline.Rowe@ed.ac.uk>\, Naya Ploumidi <P.Ploumidi@sms.ed.ac.uk
 >\, Silvia Shen <Silvia.shen@ed.ac.uk>\, Runyi Yan <R.Yan-16@sms.ed.ac.uk>
 \, Michelle Holland <Michelle.Holland@ei.ed.ac.uk>\, Maria Baranova <M.Bar
 anova@sms.ed.ac.uk>\, Walid Magdy <wmagdy@inf.ed.ac.uk>\, Meenakshi Mani <
 M.Mani@sms.ed.ac.uk>\, Ruairidh MacLeod <r.macleod@epcc.ed.ac.uk>\, Chris 
 Heunen <Chris.Heunen@ed.ac.uk>\, Kurt Butler <kbutler2@ed.ac.uk>\nSubject:
  [aiai-seminars] Canceled: *CANCELLED* AIAI Seminar: Monday 19th January 1
 4:00\, Room Informatics G.03\, Speaker Ursula Martin\n\n\nHello\, today’
 s talk has provisionally been rescheduled for Monday 16th March.\n\nHello 
 all\,\n\nThere will be an AIAI Seminar on Monday 19th January in Informati
 cs Forum G.03 by visiting speaker Ursula Martin.\n\nTitle: Will machines c
 hange pure mathematics?\n\nSpeaker: Ursula Martin\nhttps://www.maths.ox.ac
 .uk/people/ursula.martin\n\nAbstract: Recent months have seen astonishing 
 advances in the use of AI techniques in mathematical papers: “vibe codin
 g” by non-experts to produce formal proofs in LEAN\; expert human guidan
 ce of  LLMs produce credible\, if derivative\, research papers\; specialis
 t algorithms such as AlphaGeometry\; and sophisticated use of machine lear
 ning to search for examples.\n\nTheir development (at huge cost in compute
  power and energy) has been accompanied by an unfamiliar and exuberant lev
 el of hype from well-funded start-ups claiming to “solve mathematics” 
 and the like. And it raises questions beyond the technical concerning gove
 rnance\, funding and the nature of the mathematical profession.\n\nTo try 
 and understand what’s going on and where future challenges might lie\, w
 e look historical examples of changes in mathematical practice - as an exa
 mple we consider key developments in the early days of computational group
  theory.\nThe University of Edinburgh is a charitable body\, registered in
  Scotland\, with registration number SC005336. Is e buidheann carthannais 
 a th’ ann an Oilthigh Dhùn Èideann\, clàraichte an Alba\, àireamh cl
 àraidh SC005336.\n
UID:040000008200E00074C5B7101A82E00800000000C06EBF3BAB83DC01000000000000000
 010000000ABFEE4D63DF59942B411E93D191F03EE
SUMMARY;LANGUAGE=en-GB:FW: *CANCELLED* AIAI Seminar: Monday 19th January 14
 :00\, Room Informatics G.03\, Speaker Ursula Martin
DTSTART;TZID=GMT Standard Time:20260119T140000
DTEND;TZID=GMT Standard Time:20260119T150000
CLASS:PUBLIC
PRIORITY:5
DTSTAMP:20260119T094529Z
TRANSP:TRANSPARENT
STATUS:CANCELLED
SEQUENCE:1
LOCATION;LANGUAGE=en-GB:Informatics Forum G.03
X-MICROSOFT-CDO-APPT-SEQUENCE:1
X-MICROSOFT-CDO-OWNERAPPTID:-1188292630
X-MICROSOFT-CDO-BUSYSTATUS:FREE
X-MICROSOFT-CDO-INTENDEDSTATUS:FREE
X-MICROSOFT-CDO-ALLDAYEVENT:FALSE
X-MICROSOFT-CDO-IMPORTANCE:1
X-MICROSOFT-CDO-INSTTYPE:0
X-MICROSOFT-DONOTFORWARDMEETING:FALSE
X-MICROSOFT-DISALLOW-COUNTER:FALSE
X-MICROSOFT-REQUESTEDATTENDANCEMODE:DEFAULT
X-MICROSOFT-ISRESPONSEREQUESTED:TRUE
X-MICROSOFT-ANTISPAMSAFELINKSMSGDATA:eyJJc1VybEJlaW5nU2Nhbm5lZCI6IiIsIlVybF
 dyaXRlVGltZSI6IjEvMTkvMjAyNiA5OjUwOjU2IEFNIiwiQVNEaXJlY3Rpb25hbGl0eSI6IjEi
 LCJQaGlzaEVkdSI6IjAiLCJNc2dTY2FuU3VzcGljaW9uTGV2ZWwiOiIwIn0=
END:VEVENT
END:VCALENDAR

  • FW: *CANCELLED* AIAI Seminar: Monday 19th January 14:00, Room Informatics G.03, Speaker Ursula Martin, Paul Jackson, 01/19/2026

Archive powered by MHonArc 2.6.24.

Top of Page