BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T204632Z
DTSTART;TZID=Europe/Lisbon:20260517T000000
DTEND;TZID=Europe/Lisbon:20260517T000000
SUMMARY:Workshop on Theoretical Computer Science and Computational Creativity (TCS&CS-ICCC’26)
UID:20260407T032917Z-iCalPlugin-Grails@philevents-web-f5d4878dd-r5qzs
TZID:Europe/Lisbon
LOCATION:Coimbra\, Portugal
DESCRIPTION:<p>We invite 1-page abstracts on unpublished work\, published work\, or work in progress on topics at the intersection of theoretical computer science and computational creativity. We also welcome constructive contributions that critically examine prior formal work\, identify logical inconsistencies in published formal approaches in CC\, propose formalization of creativity-related questions\, or discuss methodological and evaluative criteria for work on theoretical formal methods. Examples of topics include:</p>\n<ul>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Computability theory and creativity</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Algorithmic information theory and creativity</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Formal learning theory and creative systems</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Complex networks and creativity</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Formal models of creativity and creative processes</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Theoretical and information-theoretic approaches to evaluation</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Foundational formalized questions about value\, novelty\, and quality in computational creativity</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Conjectures\, theorems\, and proofs on topics adjacent to creativity</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Connections between theoretical methods and creative AI systems</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Constructive critical review of previous formal work</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Identified logical inconsistencies in published formal approaches in CC</p>\n</li>\n<li>\n<p>&nbsp\;&nbsp\;&nbsp\;&nbsp\;Methodologies and evaluation criteria for work on theoretical formal methods</p>\n</li>\n</ul>\n<p>Submission instructions:<br>Please submit your abstract by 17 May 2026 via email to iccc26-theorycs-cc-workshop@computationalcreativity.net</a>. Authors of accepted abstracts will be notified by 31 May 2026.</p>\n<p>All accepted abstracts will be asked to present at the workshop. The accepted abstracts and the papers associated with those abstracts will be made available on the workshop website (with author permission)\, but no formal workshop proceedings will be published.</p>\n<p>For any questions\, email us at iccc26-theorycs-cc-workshop@computationalcreativity.net</a></p>
ORGANIZER;CN="Luís Espírito Santo";CN=Nadia M. Ady;CN=Max Peeperkorn:
METHOD:PUBLISH
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260406T204632Z
DTSTART;TZID=Europe/Lisbon:20260629T090000
DTEND;TZID=Europe/Lisbon:20260629T170000
SUMMARY:Workshop on Theoretical Computer Science and Computational Creativity (TCS&CS-ICCC’26)
UID:20260407T032918Z-iCalPlugin-Grails@philevents-web-f5d4878dd-r5qzs
TZID:Europe/Lisbon
LOCATION:Coimbra\, Portugal
DESCRIPTION:<p>This half-day workshop provides a dedicated space to discuss connections between theoretical computer science and computational creativity\, highlighting how formal methods can deepen our understanding of creativity and help strengthen the role of theory within the ICCC community. The workshop is motivated by longstanding links between computational creativity and fields such as computability theory\, algorithmic information theory\, formal learning theory\, complex networks\, and related theoretical areas.</p>
ORGANIZER;CN="Luís Espírito Santo";CN=Nadia M. Ady;CN=Max Peeperkorn:
METHOD:PUBLISH
END:VEVENT
END:VCALENDAR