BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260607T133603Z
DTSTART;TZID=Europe/London:20240313T101500
DTEND;TZID=Europe/London:20240313T170000
SUMMARY:Unification of Types and Multi-Level Modeling
UID:20260615T172321Z-iCalPlugin-Grails@philevents-web-bd7db559-gt5qm
TZID:Europe/London
LOCATION:Franklin-Wilkins Building\,  Stamford Street London\, London\, United Kingdom\, SE1 9NH
DESCRIPTION:<p>UNIFICATION OF TYPES AND MULTI-LEVEL MODELING</p>\n<p>Workshop at King&rsquo\;s College London</p>\n<p>13 March 2024\, 10:15am-5pm</p>\n<p>Waterloo Campus\, Franklin-Wilkins Building 2.46</p>\n<p>This workshop explores links between unification of types in logic and multi-level modeling in information systems.</p>\n<p>In some formal systems\, such as second-order logic and type theory\, distinctions between types of entities are expressed syntactically (e.g. different kinds of expressions are used to speak of different types of entities). These theories have expressive limitations that can be overcome in first-order theories\, which express the relevant distinctions without relying on syntax. This allows a unified description of all entities in the domain. &nbsp\;An important set of logical methods can be used to convert\, under certain conditions\, typed approaches into more unified type-free approaches\, a conversion Quine called "unification of universes".</p>\n<p>Multi-level modeling recognises that higher-order types are needed for most computer applications and investigates how to implement these types. One barrier is that the syntax of most databases and programming languages is effectively first-order\, supporting just schema and data. A common implementation builds the higher-order type structure in the single data domain. This appears analogous to a "unification of universes". A prime aim of the workshop is to explore this analogy and to see what two relevant communities\, logic and information systems\, can learn from one another.</p>\n<p>The workshop is supported by the AHRC Research Grant H/V015516/1 &ldquo\;Properties\, Paradox\, and Circularity. A New\, Type-Free Account&rdquo\; awarded to Salvatore Florio (CoI) and Carlo Nicolai (PI)\, and by the ERC Advanced Grant &ldquo\;Construction in the Formal Sciences&rdquo\; (project number 101054836) awarded to &Oslash\;ystein Linnebo.&nbsp\;</p>\n<p>REGISTRATION</p>\n<p>Attendance is free but registration is required. If you would like to attend\, please email both Salvatore Florio (salvatore.florio@ifikk.uio.no) and Carlo Nicolai (carlo.nicolai@kcl.ac.uk) by 29 February.&nbsp\;</p>\n<p>SCHEDULE&nbsp\;</p>\n<p>Morning session</p>\n<p>10:15-10:45 Salvatore Florio (Oslo) and Chris Partridge (BORO Solutions and University of Westminster)\, Introduction&nbsp\;</p>\n<p>11-11:50 Salvatore Florio and &Oslash\;ystein Linnebo (Oslo)\, &ldquo\;Lifting the Veil of Type Distinctions&rdquo\;</p>\n<p>12-12:50 Carlo Nicolai (King&rsquo\;s College London)\, &ldquo\;Modelling Types and Sets within Circular Properties&rdquo\;</p>\n<p>Afternoon session&nbsp\;</p>\n<p>14-14:50 Chris Partridge\, &ldquo\;Why Form\, and so Unification of Types\, Is Important?&rdquo\;</p>\n<p>15:10-16 Al Cook (Critical Insight)\, &ldquo\;Formal Structures Meet a Data Engineer - My Experiences&rdquo\;</p>\n<p>16:10-17 Sergio de Cesare (University of Westminster)\, &ldquo\;Implementing a Unification of Types in a Low-Code Environment&rdquo\;</p>\n
ORGANIZER;CN=Salvatore Florio;CN=Carlo Nicolai:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR