BEGIN:VCALENDAR
PRODID:-//Grails iCalendar plugin//NONSGML Grails iCalendar plugin//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20260406T222327Z
DTSTART;TZID=Europe/Lisbon:20260517T000000
DTEND;TZID=Europe/Lisbon:20260517T000000
SUMMARY:Workshop on Theoretical Computer Science and Computational Creativity (TCS&CS-ICCC’26)
UID:20260407T050441Z-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
END:VCALENDAR