{"id":49,"date":"2014-08-30T12:33:51","date_gmt":"2014-08-30T10:33:51","guid":{"rendered":"http:\/\/logica.dmi.unisa.it\/tacl\/?page_id=49"},"modified":"2015-07-04T22:02:21","modified_gmt":"2015-07-04T20:02:21","slug":"programme","status":"publish","type":"page","link":"http:\/\/logica.dipmat.unisa.it\/tacl\/programme\/","title":{"rendered":"Programme"},"content":{"rendered":"<h3 style=\"text-align: center;\"><span style=\"text-decoration: underline;\">Conference Programme<\/span><\/h3>\n<p>The conference will start on\u00a0<strong>Sunday 21 of June in the afternoon<\/strong>\u00a0and will end on\u00a0<strong>Friday 26 of June in the evening<\/strong>.<\/p>\n<p>In this page you can find:<\/p>\n<ul>\n<li>a\u00a0<a href=\"#general\"><em>general programme<\/em><\/a> of the\u00a0conference,<\/li>\n<li>a\u00a0<a href=\"#Detailed1\"><em>detailed\u00a0programme<\/em><\/a> of the TACL conference for the <strong>first<\/strong>\u00a03 days,<\/li>\n<li>a\u00a0<a href=\"#Detailed2\"><em>detailed\u00a0programme<\/em><\/a>\u00a0of the TACL conference\u00a0for the <strong>last<\/strong>\u00a03 days,<\/li>\n<li>the <a href=\"#School\"><em>programme<\/em><\/a>\u00a0of the TACL school.<\/li>\n<\/ul>\n<p>A full view of the conference programme can be also found\u00a0<a title=\"TACL conference programme\" href=\"https:\/\/docs.google.com\/spreadsheets\/d\/1DFq1AxIWa3k9iayyEMTNI8fETP2LUZzEGw-rqM_QhMc\/pubhtml?gid=377482510&amp;single=true\" target=\"_blank\">here<\/a>. \u00a0A pdf file of the whole conference programme is available at the following link:\u00a0<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2015\/06\/TACL-Complete-Programme.pdf\">TACL Complete Programme<\/a>.<a name=\"general\"><\/a><\/p>\n<h4 style=\"text-align: center;\">General programme<\/h4>\n<table style=\"text-align: center; font-size: 90%; border: 1px solid black;\">\n<colgroup>\n<col style=\"width: 7em;\" \/>\n<col style=\"width: 16em;\" \/>\n<col style=\"width: 16em;\" \/>\n<col style=\"width: 16em;\" \/>\n<col style=\"width: 16em;\" \/>\n<col style=\"width: 16em;\" \/>\n<col style=\"width: 16em;\" \/> <\/colgroup>\n<tbody>\n<tr>\n<th><\/th>\n<th style=\"vertical-align: center; text-align: center;\">Sunday, 21<\/th>\n<th style=\"vertical-align: center; text-align: center;\">Monday, 22<\/th>\n<th style=\"vertical-align: center; text-align: center;\">Tuesday, 23<\/th>\n<th style=\"vertical-align: center; text-align: center;\">Wednesday, 24<\/th>\n<th style=\"vertical-align: center; text-align: center;\">Thursday, 25<\/th>\n<th style=\"vertical-align: center; text-align: center;\">Friday, 26<\/th>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">9:00-10:00<\/td>\n<td rowspan=\"3\"><\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">10:00-10:30<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (ends 10m earlier)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (ends 10m earlier)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">10:30-10:55<\/td>\n<td style=\"vertical-align: center; text-align: center;\" rowspan=\"2\"><strong>Session in memoriam Franco Montagna<\/strong><\/td>\n<td style=\"vertical-align: center; text-align: center;\" rowspan=\"2\"><strong>Session in memoriam Grigori Mints<\/strong><\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">10:55-11:20<\/td>\n<td style=\"vertical-align: center; text-align: center;\" rowspan=\"4\">Registration<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">11:20-11:45<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break (only coffee and tea)<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">11:45-12:10<\/td>\n<td style=\"vertical-align: center; text-align: center;\" rowspan=\"2\"><strong>Session in memoriam Franco Montagna<\/strong><\/td>\n<td style=\"vertical-align: center; text-align: center;\" rowspan=\"2\"><strong>Session in memoriam Grigori Mints<\/strong><\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">12:10-12:35<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">12:35-14:30<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Opening (starts at 14:15)<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Lunch<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Lunch<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Lunch<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Lunch<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Lunch<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">14:30-15:30<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td rowspan=\"6\">EXCURSION<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<td style=\"vertical-align: center; text-align: center;\">INVITED<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">15:35-16:00<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">16:00-16:25<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">16:25-16:50<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Coffee Break<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">16:50-17:15<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td style=\"vertical-align: center; text-align: center;\">17:15-17:40<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<td style=\"vertical-align: center; text-align: center;\">Contributed Talks<\/td>\n<\/tr>\n<tr>\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<td>Social Dinner<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<p style=\"text-align: left;\">Below a detailed\u00a0programme of the TACL conference split in 3+3 days. \u00a0A full view of the programme can be also found <a title=\"TACL conference programme\" href=\"https:\/\/docs.google.com\/spreadsheets\/d\/1DFq1AxIWa3k9iayyEMTNI8fETP2LUZzEGw-rqM_QhMc\/pubhtml?gid=377482510&amp;single=true\" target=\"_blank\">here<\/a>.<\/p>\n<h3 style=\"text-align: center;\"><a name=\"Detailed1\"><\/a><\/h3>\n<table style=\"font-size: 80%;\">\n<thead>\n<tr style=\"height: 20px;\">\n<td class=\"s0\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Sunday, 21<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Monday, 22<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Tuesday, 23<\/td>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">9:00-10:00<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\" rowspan=\"3\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_9.pdf\" target=\"_blank\"><br \/>\nMichael Pinsker<\/a><br \/>\nTopological Clones<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/pinsker_TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_4.pdf\" target=\"_blank\"><br \/>\nEmil Jer\u00e1bek<\/a><br \/>\nGeneralizing the clone\u2013coclone Galois connection<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Jerabek.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">10:00-10:30<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (ends 10m earlier)<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (ends 10m earlier)<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">10:30-10:55<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_9.pdf\" target=\"_blank\"><br \/>\nSylvia Pulmannova<\/a><br \/>\nMV-pairs and state operators<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Pulman-statemv-pairs.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_115.pdf\" target=\"_blank\"><br \/>\nRosalie Iemhoff<\/a><br \/>\nUniform interpolation in modal logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Iemhoff.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">10:55-11:20<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\" rowspan=\"4\">Registration<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_85.pdf\" target=\"_blank\"><br \/>\nAmanda Vidal<\/a><br \/>\nOn strong standard completeness of MTL*(Q) expansions<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/slides_amanda.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_6.pdf\" target=\"_blank\"><br \/>\nGeorge Metcalfe<\/a><br \/>\nProof by Order<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Metcalfe.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">11:20-11:45<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (only coffee and tea)<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">11:45-12:10<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_64.pdf\" target=\"_blank\"><br \/>\nSamuel J. van Gool<\/a><br \/>\nUniform Interpolation and Compact Congruences<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/tacl2015_vangoolmetcalfetsinakis.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_8.pdf\" target=\"_blank\"><br \/>\nAlex Citkin<\/a><br \/>\nHereditary Structural Completeness in Intermediate Logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Citkin.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">12:10-12:35<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_2.pdf\" target=\"_blank\"><br \/>\nS\u00e1ndor Jenei<\/a><br \/>\nClassification of absorbent-continuous, densely ordered, complete group-like FLe-chains<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Jenei_slidesIschia.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_19.pdf\" target=\"_blank\"><br \/>\nDmitrij Skvortsov<\/a><br \/>\nOn weak constant domain principle in the Kripke sheaf semantics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Skvortsov.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">12:35-14:30<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Opening (starts at 14:15)<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Lunch<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Lunch<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">14:30-15:30<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_7.pdf\" target=\"_blank\"><br \/>\nAndr\u00e9 Joyal<\/a><br \/>\nCategory theory and Homotopy type theory<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Joyal-TACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_6.pdf\" target=\"_blank\"><br \/>\nKeith Kearnes<\/a><br \/>\nProblems on the Frontier of Commutator Theory<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Kearnes_Ischia.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_2.pdf\" target=\"_blank\"><br \/>\nPaulo Oliva<\/a><br \/>\nHigher-Order Game Theory<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/2015_06_23Ischia.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">15:35-16:00<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_112.pdf\" target=\"_blank\">Marc Bagnol<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_109.pdf\" target=\"_blank\"><br \/>\n<\/a>Representation of Partial Traces<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Bagnol.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_29.pdf\" target=\"_blank\"><br \/>\nRevaz Grigolia<\/a><br \/>\nThe logic of quasi true<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/GrigoliaTACL2015N.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_111.pdf\" target=\"_blank\">Giulio Guerrieri, Luc Pellissier and Lorenzo Tortora De Falco<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_37.pdf\" target=\"_blank\"><br \/>\n<\/a>Injectivity of relational semantics for (connected) MELL proof-structures via Taylor expansion<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Presentazione-Guerrieri.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_21.pdf\" target=\"_blank\"><br \/>\nKarel Chvalovsk\u00fd<\/a><br \/>\nFull Lambek Calculus with contraction is undecidable<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/chvalovsky.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_90.pdf\" target=\"_blank\"><br \/>\nValentin Shehtman<\/a><br \/>\nBisimulation games and locally tabular modal logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/ShehtmanTalk-TACL15.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_109.pdf\" target=\"_blank\">Marek Zawadowski<br \/>\n<\/a>Comparing presentations of algebraic theories<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Ischia2015Zawadowski.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_46.pdf\" target=\"_blank\"><br \/>\nPatrick Morandi<\/a><br \/>\nDe Vries powers: A generalization of Boolean powers for compact Hausdorff spaces<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Morandi.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_36.pdf\" target=\"_blank\"><br \/>\nDenisa Diaconescu<\/a><br \/>\nWitnessed Models and Skolemization in Substructural Logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/1-TACL2015-Diaconescu.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_53.pdf\">Zofia Kostrzycka<br \/>\n<\/a>Interpolation in Brouwer logics determined by k-branching nets of clusters<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_53.pdf\" target=\"_blank\"><br \/>\n<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/folie_z_kostrzycka3.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">16:00-16:25<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_61.pdf\" target=\"_blank\"><br \/>\nAmit Kuber<\/a><br \/>\nK-theory of modules as model-theoretic structures<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Kuber-TACL2015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_68.pdf\" target=\"_blank\"><br \/>\nFrancesco Marigo<\/a><br \/>\nStates on finite GBL*-algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACLmarigo.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_81.pdf\" target=\"_blank\"><br \/>\nGijs Wijnholds<\/a><br \/>\nSyntactic Control for Compositional Vector Space Models<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/tacl2015_syntacticcontrol.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_72.pdf\" target=\"_blank\"><br \/>\nZhiguang Zhao<\/a><br \/>\nStrict Implication Logics and Lambek Calculi<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Ma_Zhao_Slides.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_45.pdf\" target=\"_blank\"><br \/>\nIlya Shapirovsky<\/a><br \/>\nComplete axiomatizations of lexicographic sums and products of modal logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Shapirovsky-Tacl_2015_lexic-slides.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_103.pdf\" target=\"_blank\"><br \/>\nMarie Kerjean<\/a><br \/>\nTensor products and *-autonomous categories<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/kerjean.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_94.pdf\" target=\"_blank\"><br \/>\nMai Gehrke<\/a><br \/>\nDuality for sheaf representations and related decompositions of distributive lattice ordered algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Gehrke.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_15.pdf\" target=\"_blank\"><br \/>\nDana \u0160alounov\u00e1<\/a><br \/>\nIdeals and involutive filters in residuated lattices<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/2-Salounova_Rachunek_IschiaTACL2015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_10.pdf\">Stefano Bonzio<br \/>\n<\/a>Orthogonal relational systems<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/ORS_Bonzio.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">16:25-16:50<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">16:50-17:15<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_33.pdf\" target=\"_blank\"><br \/>\nRostislav Horcik<\/a><br \/>\nCharacterization of Finite Embeddability Property for (Distributive) Residuated Lattices via Regular (Tree) Languages<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Horcik-TACL15.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_77.pdf\" target=\"_blank\"><br \/>\nSamuele Maschio<\/a><br \/>\nA categorical structure of realizers for the Minimalist Foundation<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/MASCHIO.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_26.pdf\" target=\"_blank\"><br \/>\nJeannine Gabri\u00ebls<\/a><br \/>\nNew properties of Sasaki projections<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL15_talk_JG.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_17.pdf\" target=\"_blank\"><br \/>\nPetr Cintula<\/a><br \/>\nDense completeness theorem for protoalgebraic logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Cintula-Noguera.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_120.pdf\" target=\"_blank\"><br \/>\n<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_117.pdf\">Sonia Marin<br \/>\n<\/a>A cut-free proof system for pseudo-transitive modal logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Marin-presentation.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_80.pdf\" target=\"_blank\"><br \/>\nSergejs Solovjovs<\/a><br \/>\nUsing Topological Systems To Create a Framework for Institutions<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Solovjovs_TACL2015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_55.pdf\" target=\"_blank\"><br \/>\nSumit Sourabh<\/a><br \/>\nSubordinations, closed relations, and compact Hausdorff spaces<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Sumit.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_66.pdf\" target=\"_blank\"><br \/>\nTommaso Moraschini<\/a><br \/>\nUndecidability in abstract algebraic logic<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/3-Moraschini-Diophantine.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_69.pdf\" target=\"_blank\"><br \/>\n<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_87.pdf\">Julien Raskin<br \/>\n<\/a>Distributive contact lattices with nontangential part-of relations<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Raskin-TACL2015.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">17:15-17:40<\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_22.pdf\" target=\"_blank\"><br \/>\nTomas Kroupa<\/a><br \/>\nImprecise Probabilities on MV-algebras Revisited<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/KroupaTACL2015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_118.pdf\" target=\"_blank\"><br \/>\nCharles Grellois<\/a><br \/>\nHigher-order model-checking, categorical semantics, and linear logic<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/grellois-tacl2015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_101.pdf\" target=\"_blank\"><br \/>\nBoza Tasic<\/a><br \/>\nOn Regular Congruences of Ordered Semigroups<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Boza-IschiaPresentation.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_39.pdf\" target=\"_blank\"><br \/>\nHugo Albuquerque<\/a><br \/>\nLeibniz and Suszko filters for non-protoalgebraic logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Albuquerque.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_59.pdf\" target=\"_blank\"><br \/>\nFan Yang<\/a><br \/>\nStructural completeness in logics of dependence<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Yang-Ischia22062015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_116.pdf\" target=\"_blank\"><br \/>\nElena Aladova<\/a><br \/>\nIsomorphism of knowledge bases: on the edge of logic and geometry<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Talk_Aladova.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_27.pdf\" target=\"_blank\"><br \/>\nLuca Reggio<\/a><br \/>\nAxiomatising the dual of compact Hausdorff spaces<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Reggio.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_23.pdf\" target=\"_blank\"><br \/>\nGiulia Frosoni<\/a><br \/>\nConuclear images of substructural logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/4-Frosoni_TACL2015.pdf\">slides<\/a><\/td>\n<td class=\"s6\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_88.pdf\">Rafal Gruszczynski<br \/>\n<\/a>On two ways of generating topological spaces from Grzegorczyk mereological structures<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/gruszczynski-TACL-2015.pdf\">slides<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: left;\">Programme of the last three days (for the other ones, scroll up).<a name=\"Detailed2\"><\/a><\/p>\n<table style=\"font-size: 80%;\">\n<thead>\n<tr style=\"height: 20px;\">\n<td class=\"s0\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Wednesday, 24<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Thursday, 25<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Friday, 26<\/td>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">9:00-10:00<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_5.pdf\" target=\"_blank\"><br \/>\nMaria Manuel Clementino<\/a><br \/>\nLax orthogonal factorization systems in Topology<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Clementino-TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_3.pdf\" target=\"_blank\"><br \/>\nJorge Picado<\/a><br \/>\nHausdorff mapping invariance theorems with sublocales<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/picado.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_8.pdf\" target=\"_blank\"><br \/>\nAgata Ciabattoni<\/a><br \/>\n(Algebraic) proof theory for substructural logics and applications<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/agatatacl2015.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">10:00-10:30<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">10:30-10:55<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_4.pdf\" target=\"_blank\"><br \/>\nThemba Dube<\/a><br \/>\nOn maps between Stone-Cech compactifications induced by lattice homomorphisms<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/DubeTACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_13.pdf\" target=\"_blank\"><br \/>\nPavol Zlatos<\/a><br \/>\nOn decidability of some classes of Stone algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/1-Zlatos_P_Ischia_2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_20.pdf\" target=\"_blank\"><br \/>\nMichael Kompatscher<\/a><br \/>\nEndomorphism monoids of omega-categorical structures<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL_kompatscher.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_114.pdf\" target=\"_blank\"><br \/>\nManuela Sobral<\/a><br \/>\nEffective codescent morphisms of distributive lattices<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL15Sobral.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_47.pdf\" target=\"_blank\"><br \/>\nStefano Aguzzoli<\/a><br \/>\nTowards a Riesz Representation Theorem for Finite Heyting Algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/1-Aguzzoli.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_40.pdf\" target=\"_blank\"><br \/>\nAnna Jencov\u00e1 and Gejza Jenca<\/a><br \/>\nQuantum logics as relational monoids<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/jenca_tacl_2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_18.pdf\" target=\"_blank\"><br \/>\nWojciech Dzik and Piotr Wojtylak<\/a><br \/>\nProjective Unification in Intermediate and Modal Predicate Logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Dzik_Wojtylak_13-6-C-TACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_120.pdf\">Revantha Ramanayake<br \/>\n<\/a>Between axioms and structural rules in the display calculus<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/1-Ramanayake-tacl2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_57.pdf\" target=\"_blank\"><br \/>\nZhiguang Zhao<\/a><br \/>\nJonsson-style Canonicity for ALBA-Inequalities (Unified Correspondence I)<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Zhiguang.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">10:55-11:20<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_11.pdf\" target=\"_blank\"><br \/>\nOghenetega Ighedo<\/a><br \/>\nYet another ring-theoretic characterization of P-frames<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/IghedoTACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_3.pdf\" target=\"_blank\"><br \/>\nAlexei Muravitsky<\/a><br \/>\nOn One Embedding of Heyting Algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/2-tacl2015Muravitsky.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_41.pdf\" target=\"_blank\"><br \/>\nStefano Berardi<\/a><br \/>\nRamsey Theorem for pairs in k colors in the hierarchy of classical principles<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL-2015-Lucidi-Conferenza_Berardi.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_97.pdf\" target=\"_blank\"><br \/>\nM. Andrew Moshier<\/a><br \/>\nCoherence for Categories of Posets with Applications<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/MoshierTACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_100.pdf\" target=\"_blank\"><br \/>\nPietro Codara<\/a><br \/>\nProducts in the category of forests and p-morphisms via Delannoy paths on Cartesian products<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/2-Codara_TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_65.pdf\" target=\"_blank\"><br \/>\nJir\u00ed Janda<\/a><br \/>\nA Hilbert space operator representation of generalized effect algebras of bilinear forms and measures<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL2015janda5.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_35.pdf\" target=\"_blank\"><br \/>\nSamuel J. van Gool<\/a><br \/>\nMonadic second order logic on infinite words is the model companion of linear temporal logic<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/tacl2015_ghilardivangool.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_117.pdf\" target=\"_blank\"><br \/>\n<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_60.pdf\" target=\"_blank\">Giuseppe Greco<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_117.pdf\" target=\"_blank\"><br \/>\n<\/a>Generalizing Belnap&#8217;s cut-elimination<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/2-TACL-2015_G-Greco.pdf\">slides<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_117.pdf\" target=\"_blank\"><br \/>\n<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_50.pdf\" target=\"_blank\"><br \/>\nAlessandra Palmigiano<\/a><br \/>\nCanonicity and Relativized Canonicity via Pseudo-Correspondence (Unified Correspondence II)<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/palmigiano-pseudo.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">11:20-11:45<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (only coffee and tea)<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break (only coffee and tea)<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">11:45-12:10<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_113.pdf\" target=\"_blank\"><br \/>\nPeter Jipsen<\/a><br \/>\nComplex algebras of tree-semilattices<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/JipsenTACLtalk20150624.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_98.pdf\" target=\"_blank\"><br \/>\nImanol Mozo Carollo<\/a><br \/>\nA description of the localic group of the unit circle<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/3-Mozo-Corollo-beamerIschiaTACL20152.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_89.pdf\" target=\"_blank\"><br \/>\nDorottya Sziraki<\/a><br \/>\nOn Sigma02 binary relations and elementary embeddability at uncountable cardinals<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL2015_Sziraki.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_99.pdf\" target=\"_blank\"><br \/>\nNick Galatos<\/a><br \/>\nThe FEP for some noncommutative varieties of fully distributive residuated lattices<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Galatos-TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_96.pdf\" target=\"_blank\"><br \/>\nIlya Shapirovsky<\/a><br \/>\nOn Completeness of Logics Enriched with Transitive Closure Modality<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/3-Shapirovki-TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_105.pdf\" target=\"_blank\"><br \/>\nLuigi Santocanale<\/a><br \/>\nRelational lattices via duality<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Santocanale_TACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_79.pdf\" target=\"_blank\"><br \/>\nRamon Jansana<\/a><br \/>\nA topological duality for posets<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL2015_Jansana_duality_posets.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_102.pdf\" target=\"_blank\"><br \/>\nThomas Seiller<\/a><br \/>\nMeasurable Preorders and Complexity<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/3-SEILLER-TACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_95.pdf\" target=\"_blank\"><br \/>\nWillem Conradie<\/a><br \/>\nCanonicity results for mu-calculi (Unified Correspondence III)<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/ConradieTACL2015-Talk.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">12:10-12:35<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_49.pdf\" target=\"_blank\"><br \/>\nBrian Davey<\/a><br \/>\nQuasi-primal Cornish algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Davey-TACL-2015-Quasi-Primal-Cornish-Algebras.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_119.pdf\" target=\"_blank\"><br \/>\nYuan Ting Nai<\/a><br \/>\nOpen set lattices of the spaces of minimal prime elements of multiplicative lattices<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_91.pdf\" target=\"_blank\"><br \/>\nTatsuji Kawai<\/a><br \/>\nA uniform continuity principle for the Baire space and a corresponding bar induction<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/tacl_2015_kawai.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_70.pdf\" target=\"_blank\"><br \/>\nClint Van Alten<\/a><br \/>\nThe Canonical FEP Construction for Residuated Lattice Ordered Algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Van-Alten.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_108.pdf\" target=\"_blank\"><br \/>\nAndrey Kudinov<\/a><br \/>\nOn pretransitive logics of finite depth<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/4-Kudinov-slides.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_43.pdf\" target=\"_blank\"><br \/>\nSabine Frittella, Alessandra Palmigiano and Luigi Santocanale<\/a><br \/>\nDual characterizations for finite lattices via correspondence theory for monotone modal logic<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL_SabineFrittella.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_48.pdf\" target=\"_blank\"><br \/>\nDaniel Wessel<\/a><br \/>\nA General Extension Theorem for Complete Partial Orders<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL15_Wessel.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><del><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_37.pdf\" target=\"_blank\">Roberto Maieli<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_111.pdf\" target=\"_blank\"><br \/>\n<\/a>Topological Correctness Criteria for Linear Logic Proof Structures<\/del><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_84.pdf\" target=\"_blank\"><br \/>\nClaudette Robinson<\/a><br \/>\nSahlqvist Theory for Hybrid Logics (Unified Correspondence IV)<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Robinson-TACL-2015.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">12:35-14:30<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Lunch<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Lunch<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Lunch<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">14:30-15:30<\/td>\n<td class=\"s7\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\" rowspan=\"6\">EXCURSION<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_10.pdf\" target=\"_blank\"><br \/>\nOlivia Caramello<\/a><br \/>\nThe theory of topos-theoretic `bridges&#8217;, five years later<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TheoryToposTheoreticBridgesCaramello.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/invited_paper_1.pdf\" target=\"_blank\"><br \/>\nDaniele Mundici<\/a><br \/>\nFinitely presented MV-algebras, unital lattice ordered abelian groups and rational polyhedra\u2014together<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2015\/07\/tacl-short-mundici.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">15:35-16:00<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_34.pdf\" target=\"_blank\"><br \/>\nSilvio Ghilardi<\/a><br \/>\nAdmissible bases via stable canonical rules<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/silvio_tacl15.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_24.pdf\" target=\"_blank\"><br \/>\nGiovanni Cin\u00e0<\/a><br \/>\nBisimulation and path logic for sheaves<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/5-Cin\u00e0-Presentation-TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_71.pdf\" target=\"_blank\"><br \/>\nDiego Valota<\/a><br \/>\nRepresentation of Free Finitely Generated Weak Nilpotent Minimum Algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/diegoTACL2015.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_12.pdf\" target=\"_blank\"><br \/>\nJan Paseka<\/a><br \/>\nTense operators in logics without negation<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Paseka-tacl2015honzabeamer.tex_.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_67.pdf\" target=\"_blank\"><br \/>\nTommaso Moraschini<\/a><br \/>\nOn everywhere strongly logifiable algebras<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/4-Moraschini.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_56.pdf\" target=\"_blank\"><br \/>\nSumit Sourabh<\/a><br \/>\nSahlqvist theory for impossible worlds (Unified Correspondence V)<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/sumit_regular.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">16:00-16:25<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_76.pdf\" target=\"_blank\"><br \/>\nJulia Ilin<\/a><br \/>\nStable modal logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Ilin-TACL-ji_4.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_75.pdf\" target=\"_blank\"><br \/>\nPanagis Karazeris<\/a><br \/>\nConstructions of Pretoposes<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/6-tacl2015_karazeris_slides.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_52.pdf\" target=\"_blank\"><br \/>\nJohannes Marti<\/a><br \/>\nA Representation Theorem for System P<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/martiPinosio.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_82.pdf\" target=\"_blank\"><br \/>\nAlberto Gatto<\/a><br \/>\nModal Characterization of a First Order Logic for Topology<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Gatto-TACL.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_31.pdf\" target=\"_blank\"><br \/>\nZhiguang Zhao<\/a><br \/>\nAn Abstract Algebraic Logic view of judgment aggregation<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/5-Zhiguang.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_62.pdf\" target=\"_blank\"><br \/>\nApostolos Tzimoulis<\/a><br \/>\nUnified Correspondence as a Proof-Theoretic Tool (Unified Correspondence VII)<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Apostolos-TACL-Display.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">16:25-16:50<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\">Coffee Break<\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">16:50-17:15<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_44.pdf\" target=\"_blank\"><br \/>\nMiroslav Haviar<\/a><br \/>\nTiRS graphs and frames: a new setting for duals of canonical extensions of lattices<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/M_Haviar_TACL_2015_V7.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_83.pdf\" target=\"_blank\"><br \/>\nCatalina Ossa<\/a><br \/>\nSGF-Quantales and their Groupoids<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/TACL2015quantalessafetycopy_Ossa.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_87.pdf\" target=\"_blank\"><br \/>\n<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_69.pdf\" target=\"_blank\">Matteo Bianchi<br \/>\n<\/a>Trakhtenbrot theorem and first-order axiomatic extensions of MTL<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Bianchi.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_63.pdf\" target=\"_blank\"><br \/>\nUmberto Rivieccio<\/a><br \/>\nBilattice Logic of Epistemic Action and Knowledge<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/RIvieccio_TACL_2015.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td class=\"s1\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\">17:15-17:40<\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_106.pdf\" target=\"_blank\"><br \/>\nAndrew Craig<\/a><br \/>\nRelational semantics via TiRS graphs<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Craig-TiRS-slides.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_16.pdf\" target=\"_blank\"><br \/>\nDavid Kruml<\/a><br \/>\nConstructing representations of ordered monoids<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/tacl2015kruml.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_88.pdf\" target=\"_blank\"><br \/>\n<\/a><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_54.pdf\" target=\"_blank\">Kristina Brantley<br \/>\n<\/a>Monadic Fragments of Modal Predicate Logics<br \/>\n<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Kristina_Brantley_26Jun.pdf\">slides<\/a><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><\/td>\n<td style=\"text-align: center; border: 1px solid black; padding: 0.2em;\"><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/abstracts\/paper_58.pdf\" target=\"_blank\"><br \/>\nApostolos Tzimoulis<\/a><br \/>\nAn algebraic approach to Probabilistic Dynamic Epistemic Logic<a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2014\/08\/Apostolos-Tacl-PDEL.pdf\">slides<\/a><\/td>\n<\/tr>\n<tr style=\"height: 20px;\">\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<td><\/td>\n<td class=\"s10\" dir=\"ltr\" style=\"text-align: center; border: 1px solid black; padding: 0.2em;\" colspan=\"3\" rowspan=\"2\">Social dinner 19:30 (Hotel re Ferdinando)<\/td>\n<td><\/td>\n<td><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>&nbsp;<\/p>\n<h3 style=\"text-align: center;\"><span style=\"text-decoration: underline;\">School Programme<a name=\"School\"><\/a><\/span><\/h3>\n<p>We will meet on Monday\u00a0at 10:50 in the <strong>room F6<\/strong> of the\u00a0<em>Dipartimento di Matematica<\/em> (see map below). \u00a0We will then walk\u00a0together\u00a0to student house;\u00a0the lectures will then start in the afternoon.<\/p>\n<p>&nbsp;<\/p>\n<table style=\"text-align: center; height: 712px; border-collapse: collapse; font-size: 90%;\">\n<tbody>\n<tr>\n<td width=\"169\" height=\"17\"><\/td>\n<td style=\"text-align: center;\"><strong>Monday<\/strong><\/td>\n<td style=\"text-align: center;\"><strong>Tuesday<\/strong><\/td>\n<td style=\"text-align: center;\"><strong>Wednesday<\/strong><\/td>\n<td style=\"text-align: center;\"><strong>Thursday<\/strong><\/td>\n<td style=\"text-align: center;\"><strong>Friday<\/strong><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">9:00-10:30<\/td>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Ieke Moerdijk<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Luke Ong<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Guram Bezhanishvili<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Guram Bezhanishvili<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">10:30-10:50<\/td>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">10:50-12:20<\/td>\n<td style=\"text-align: center;\" rowspan=\"2\" width=\"153\"><strong>REGISTRATION<\/strong><\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Luke Ong<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Ieke Moerdijk<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Brian Davey<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Luke Ong<\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">12:20-13:30<\/td>\n<td style=\"text-align: center;\">Lunch\u00a0Break<\/td>\n<td style=\"text-align: center;\">Lunch\u00a0Break<\/td>\n<td style=\"text-align: center;\">Lunch\u00a0Break<\/td>\n<td style=\"text-align: center;\"><strong>CLOSURE<\/strong><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">13:30-15:00<\/td>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center;\" rowspan=\"5\" width=\"153\"><strong>Social Excursion + Social Dinner<\/strong><\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Brian Davey<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Ieke Moerdijk<\/td>\n<td style=\"text-align: center;\"><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">15:00-15:15<\/td>\n<td style=\"text-align: center;\">Opening<\/td>\n<td style=\"text-align: center;\">Break<\/td>\n<td style=\"text-align: center;\">Break<\/td>\n<td style=\"text-align: center;\"><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">15:15-16:45<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Brian Davey<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Guram Bezhanishvili<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Luke Ong<\/td>\n<td style=\"text-align: center;\"><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">16:45-17:05<\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<td style=\"text-align: center;\">Coffee\u00a0Break<\/td>\n<td style=\"text-align: center;\"><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center; width: 60pt;\">17:05-18:35<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Guram Bezhanishvili<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Ieke Moerdijk<\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Brian Davey<\/td>\n<td style=\"text-align: center;\"><\/td>\n<\/tr>\n<tr>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center;\"><\/td>\n<td style=\"text-align: center; background: #B7E1CD;\">Student session (h20:00, &#8220;Sala Riunioni&#8221; of the Student House)<\/td>\n<td style=\"text-align: center;\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a href=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2015\/06\/Campus-map.png\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-335 size-full\" src=\"http:\/\/logica.dmi.unisa.it\/tacl\/wp-content\/uploads\/2015\/06\/Campus-map.png\" alt=\"Campus map\" width=\"787\" height=\"856\" \/><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Conference Programme The conference will start on\u00a0Sunday 21 of June in the afternoon\u00a0and will end on\u00a0Friday 26 of June in the evening. In this page you can find: a\u00a0general programme of the\u00a0conference, a\u00a0detailed\u00a0programme of the TACL conference for the first\u00a03 days, a\u00a0detailed\u00a0programme\u00a0of the TACL conference\u00a0for the last\u00a03 days, the programme\u00a0of the TACL school. A full [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":10,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-49","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages\/49","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/comments?post=49"}],"version-history":[{"count":65,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages\/49\/revisions"}],"predecessor-version":[{"id":564,"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/pages\/49\/revisions\/564"}],"wp:attachment":[{"href":"http:\/\/logica.dipmat.unisa.it\/tacl\/wp-json\/wp\/v2\/media?parent=49"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}