BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20230601T125938Z
DTSTART:20230606T120000Z
DTEND:20230606T130000Z
SUMMARY:Manchester Algebra Seminar - David Cushing
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}g19i-lfs3kr
 1j-4t2s8g
DESCRIPTION:Speaker: David Cushing - Manchester\n\nTitle:\nProlog whisper
 ing: Searching for new simple Lie Algebras\n\nAbstract:\nWe provide an e
 xploration of the utilisation of Prolog programming and the CLP(FD) libr
 ary for conducting computer investigations in the realm of pure mathemat
 ics. Focusing on the search for new simple Lie algebras over GF(2)\, we 
 draw inspiration from the work of Grishkov et al. and specifically targe
 t those with a thin decomposition. Our study successfully addresses one 
 of their conjectures and extends the findings by extrapolating the exist
 ence of two novel infinite families of simple Lie algebras. Additionally
 \, we contribute to the field by identifying seven sporadic examples in 
 dimension 31.\n\nThe talk emphasises the process of writing code to open
  up a dialogue with Prolog. We discuss the implementation of fundamental
  techniques such as symmetry breaking\, which aids in efficient explorat
 ion of the solution space. Furthermore\, we delve into the theory of con
 straint propagation and its significance in refining and optimising the 
 search process. We aim to give insights into the art of "Prolog whisperi
 ng"\, encouraging the adoption of this approach to various areas of pure
  mathematics.\n\n\nTea and biscuits 12:45 in the foyer
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR