斯芬多·戈尔福
2024年第32届EACSL计算机科学逻辑年会（CSL 2024）

2024年2月19日至23日，意大利那不勒斯



 
 
 
 
难以想象1
未成熟2
未成熟3
难以想象4
难以想象5
难以想象6
难以想象7
难以想象8
难以想象9
难以想象10
难以想象11
难以想象12
难以想象13
未成熟14
难以想象15
难以想象16
难以想象17
难以想象18
难以想象19
难以想象20
难以想象21
难以想象22
难以想象23

 

 

 

 

 

 

 

 

 

关于

CSL是欧洲计算机科学逻辑协会（EACSL）的年度会议。
这是一个跨学科的会议，跨越数学逻辑和计算机科学的基础研究和应用研究。
CSL 2024由那不勒斯大学Federico II主办。

CSL 2024将于2024年2月20日至23日举行，并将与第十二届计算机科学不动点国际研讨会(FICS’24)和逻辑指导研讨会(LMW 2024年).
FICS 2024将于2月19-20日举行。LMW 2024将于2月23日举行。

ICT会议将于2月23日举行

请参阅小册子在这里.


Wi-Fi凭据：

SSID：客人通道

通过：xs402291


欢迎访问的官方页面#CSL24型!

-CSL'24（@CSL2024）2024年1月4日
 
 

按下



GazzettaDiNapoliBanchetto公司

Napoli la CSL 2024，una delle Conferenze di Informatica piöimportanti al-mondo，意大利那不勒斯圣保罗大教堂（Un successo bagnato dal sole di Napoli a CSL 2024.）。Nel Centro Congression di Ateneo，di via Partenope，

吉安蒂·戴尔（giganti dell）在普拉塔的《西多诺信息报》（Informatica siedono in plata），塞萨·福尔马斯密（senza formalismi percédi formale hanno giáil ragionamento）。

阅读更多信息

 
伊尔·马蒂诺

Arriveranno a Napoli i padri fondatori dell’informatica per l’evento Eacsl2024（conferenza annuale dell'associazione europea per la logica informatica），

2024年2月23日，意大利中央议会，那不勒斯费德里科大学第二研究所。

阅读更多信息
 
 
安萨

我是《信息技术大师》的领导者，《科学世界全景》的领头人，《2024年EACSL》中的萨拉诺·a Napoli，

2024年2月23日，费德里科二世，那不勒斯大学国会中心，《欧洲协会》。

阅读更多信息

 
伊尔德纳罗

我是“信息大师”，领导科学世界全景展，萨拉诺是《2024年EACSL 2024年那不勒斯奥运会》，《欧洲协会年会》（la Conferenza annuale dell’Associazione Europea）

2024年2月23日，费德里科二世，那不勒斯大学国会中心，根据《洛杉矶信息报》第20页。

阅读更多信息

 
拉加泽塔迪那不勒斯

那不勒斯科学研究院：CSL 2024（Conferenza annuale dell'EACSL

l'Associazione Europea per la logica informatica），una delle piöimportanti conferenze di informatica，che si-terrádal 20 al 2024年2月23日，新闻发布会：那不勒斯费德里科大学第二研究中心。

阅读更多信息
维吉利奥

我是“信息大师”，领导科学世界全景展，萨拉诺是《2024年EACSL 2024年那不勒斯奥运会》，《欧洲协会年会》（la Conferenza annuale dell’Associazione Europea）

2024年2月23日，费德里科二世，那不勒斯大学国会中心，根据《洛杉矶信息报》第20页。

阅读更多信息
面试

Aniello Murano教授访谈

查看更多
 
 
 
 

提交指南

提交的论文必须使用英语，并且必须提供足够的详细信息，以便项目委员会评估论文的优点。作者必须通过CSL 2024 Easychair提交网站提交论文在https://easychair.org/my/conference？conf=csl2024作为单个PDF文件。完整的校样可以出现在一个明确标记的技术附录中，由审核人员自行阅读。强烈建议作者加入针对PC所有成员的精心编写的介绍。

论文应通过easychair提交（链接将于6月初开放）。

会议记录将在莱布尼茨国际信息学会议录（LIPIcs）.

请作者以LIPIcs风格提交不超过15页的论文（不包括参考文献），展示符合会议范围的未发表作品。论文不得同时提交给另一个具有仲裁程序的会议。应将提交给会议或期刊的密切相关的工作告知PC主席。

不允许由PC成员撰写或共同撰写论文。

每一篇被接受的论文的作者中至少有一位要注册参加会议，并亲自或在线出席会议，以便发表论文。

 
 

话题

海伦娜·拉西奥瓦奖

The 海伦娜·拉西奥瓦奖是CSL会议系列的最佳学生论文奖，从CSL 2022开始。该奖项将授予仅由学生撰写或学生是主要贡献者的最佳论文（由PC决定）。在这种情况下，学生是指目前正在攻读学位或博士学位授予日期在会议第一天之前不到一年的任何人。

阅读更多关于海伦娜·拉西奥瓦逻辑和计算机科学及其相互作用在这里.

 
 
 
 

受邀演讲人

 
 
 
 

接受的论文

 
 
 
 

委员会

椅子

项目委员会

当地组织者

 
 
 
 

地点


国会中心
 
 

联邦二号中央会议

通过Partenope，36

那不勒斯

费德里科二世大学的国会中心位于海滨的Via Partenope 36，靠近Castel dell'Ovo。请注意，海滨地区是无车区，因此，公共交通不会停在会议厅前。

如何联系Federico II中央国会：
  1. 从机场：您可以乘坐出租车或乘坐Alibus线到达“Molo Angioino/Beverello”站。继续步行至Via Acton，乘坐154路公交车，在圣卢西亚站下车，到达大会会场（步行5分钟）。
  2. 从中央车站（加里波第广场）：你可以乘坐出租车或乘坐地铁1号线（加里波蒂，就在车站外），然后在“市政中心”下车。从那里可以乘出租车或愉快地步行穿过公共广场（步行15分钟）到达大会会场。
以下地图显示了国会中心的位置：

 
 
 
 

附属酒店

 
 

在下面，您可以找到带有特别奖*的推荐酒店。

酒店 细节 价格
San Francesco al Monte酒店 步行25分钟/公交车/地铁，查看更多详细信息在这里.
编译此形式并按照指示预订房间。		 双人房一次性：120欧元
双人房：每晚135欧元
（含早餐）
圣卢西亚酒店 4颗星，步行3分钟，更多细节在这里.
请将您的预订发送至reception@santalucia.it事件代码为“csl2024”。		 新增！双人间单人使用：每晚160欧元
双人间：每晚195欧元
（包括早餐）
皇家大陆（2月21日起提供） 4颗星，步行1分钟，
更多详细信息在这里.		 新增！双人间单人使用：每晚140欧元
如果有兴趣，请联系我们（因为必须通过CSL进行注册）
东方大酒店 步行30分钟/公交车/地铁，更多细节在这里 新增！双人间单人使用：每晚170欧元
如果有兴趣，请联系我们
双人房：每晚210欧元
我们正在等待20%减速，保持稳定！

*此外，该地区还有几个价格合理的B&B住宿（每晚80-100欧元）。

 
 
 
 

注册

 
 

注册时请填写以下内容形式


付款时，您必须在以下银行账户进行银行转账：

账户：C.R.E.A.T.E。
地址：意大利那不勒斯Via Claudio，21-80125
银行：Banca FINECO
国际银行账号：IT70S0301050320000003750035
SWIFT/BIC:FEBIITM2银行代码
说明：CSL2024-[代码]-[全名]

重要！描述[代码]可以在下面的付款表中找到
描述示例：CSL2024-AR2-约翰·史密斯表明John Smith后来注册了CSL’24+FICS’24+LMW’24，定期付款850欧元

参与费用

需要支付两项费用：

  1. 支付给那不勒斯大学的参与费
  2. 向EACSL支付的EACSL会员费（正式会员费为20000欧元，学生会员费为5.00欧元。有关更多信息，请参阅链接）。

对于因需要支付两项单独费用而给您带来的不便，我们深表歉意。

重要：请注意，CSL参与必须具备EACSL会员资格。

新增！：如果您愿意，您可以将EACSL会员费包含在将转移到C.R.E.A.T.E.的参与费中，然后我们将处理您与EACSL的关系。在这种情况下，您将收到一张收据，其中包含您将转账至C.R.E.a.T.E.的总金额。


参与费

以下是互斥的早/晚/现场注册选项：

早期 迟到 现场
CSL’24+FICS’24+LMW’24常规 750€ （代码：AR1） 850€ （代码：AR2） 900€ （代码：AR3）
CSL’24+FICS’24+LMW’24学生 450€ （代码：AS1） 550€ （代码：AS2） 600€ （代码：AS3）
CSL’24+LMW’24常规 700€ （代码：CR1） 800€ （代码：CR2） 850€ （代码：CR3）
CSL’24+LMW’24学生 400€ （代码：CS1） 500€ （代码：CS2） 550€ （代码：CS3）
FICS’24常规 200€ （代码：FR1） 250€ （代码：FR2） 275€ （代码：FR3）
FICS’24学生 150欧元（代码：FS1） 200€ （代码：FS2） 225€ （代码：FS3）
LMW'24型 100€ （代码：L1） 125€ （代码：L2） 150欧元（代码：L3）

此外：

  1. 可以以80欧元（最多30人）的价格购买额外的社交晚宴门票。请联系我们。
  2. 每一篇论文都必须有作者登记。


程序


 
 

FICS 24年2月19日星期一

08:30-09:00CSL 2024和FICS 2024注册

09:00-17:30 FICS计划

17:30-18:00CSL 2024和FICS 2024注册

18:00-20:00CSL 2024和FICS 2024欢迎活动！（中央国会）

02年2月20日星期二

08:30-09:00CSL 2024注册

09:00-09:30CSL 2024开业

09:30-10:30Barbara König受邀演讲（与FICS’24合用）：近似函数的近似定点-Aula Magna-主席Bahareh Afshari

10:30-11:00咖啡休息时间

11:00-13:05第1部分（复杂性理论、重写和单体分类）-Aula Magna-主席Matteo Acclavio：

13:05-14:30午餐

14:30-15:30乔治·戈特洛布（Georg Gottlob）邀请演讲：AI&AI-人工智能和人工无知-奥拉·麦格纳（Aula Magna）-主席Marta Kwiatkowska

15:30-16:00咖啡休息时间

16:00-18:05第2部分（团队逻辑和神经网络）-Aula Magna-主席Barbara König:

星期三21.02

09:00-10:00Marta Kwiatkowska邀请的演讲：具有神经感知机制的部分可观测随机博弈的策略综合

10:00-10:30咖啡休息时间

10:30-12:35第三部分（奥运会）-奥拉·麦格纳-马可·费拉主席：

12:35-13:50午餐

13:50-15:30第4部分（逻辑）-Aula Magna-Balder ten Cate主席：

15:30-15:55咖啡休息时间

15:55-18:00第5部分（类型理论和模型理论）-Aula Magna-主席Gabriele Vanoni：

02年2月22日星期四

09:00-10:00Balder ten Cate邀请演讲：一阶逻辑可判定片段的Craig插值-Aula Magna-主席Olivier Bournez

10:00-10:30咖啡休息时间

10:30-12:35第6部分（一阶逻辑）-奥拉·麦格纳-主席Luigi Sauro：

12:35-13:30午餐

13:45-14:15Rasiowa奖（待定）

14:15-15:00阿克曼奖（待定）

15:00-15:15茶歇时间

15:15-16:00商务会议（EATCS活动）

16:15一辆巴士将从Partenope大道出发，前往Gesó广场

17:30-18:30社交晚宴场所入口（位于圣基亚拉修道院)以及博物馆导游之旅的开始

18:30-19:30配饮料和开胃菜的早餐

19:30-22:30晚宴（地点：Antico Refettorio公司)

22:30从Gesö广场出发前往Partenope大道

02年2月23日星期五（与LMW’24和工业表并行）

9:00-9:15欢迎来自费德里科二世大学校长马特奥·洛里托

9:15-10:15Moshe Y.Vardi邀请演讲：逻辑算法-Aula Magna

10:15-10:45咖啡休息时间

10:45-12:50第7部分（Monadic Logic和Automata）-Aula A-主席Moshe Y.Vardi：

12:50-14:00午餐

14:00-15:40第8部分（Lambda微积分）-Aula A-主席Ugo Dal Lago：

15:40-16:10咖啡休息时间

16:10-17:50第9部分（逻辑和算术）-奥拉·麦格纳-贝尼亚米·阿卡托利主席：

17时50分至18时永别了



ICT表格程序


 
 

02年2月23日星期五（与LMW'24和CSL'24并行）

9:00-9:15那不勒斯大学费德里科二世校长马特奥·洛里托致敬

9:15-10:15Moshe Y.Vardi邀请演讲：逻辑算法

10:15-10:45咖啡休息时间

10:45-12:45上午工业会议：

12:50-14:00午餐

14:00-15:10下午工业计划：

15:40-16:10咖啡休息时间

 

社交晚宴


图片1
图2
图3
图4
 
 

Antico Refettorio，Complesso Monumentale di Santa Chiara

Via Santa Chiara，49/c号

那不勒斯

圣基亚拉纪念碑（Complesso Monumentale di Santa Chiara）位于圣基亚拉大街（Via Santa Chiara），49/c，市中心，靠近盖苏广场（Piazza del Gesú）。

如何到达Antico Refettorio，Complesso Monumentale di Santa Chiara：
  1. 从机场：您可以乘坐出租车或乘坐Alibus线到“Garibaldi广场”站。继续步行到加里波第站（步行1分钟），乘坐地铁1号线到皮斯奇诺拉，在大学站下车，到达社交活动场所（步行8分钟）。
  2. 从中央车站（加里波第广场）：你可以乘出租车或乘坐地铁1号线（加里波蒂，就在车站外），然后在“大学”下车。从那里步行即可到达社交活动场所（步行距离8分钟）。
以下地图显示了Antico Refettorio位置：

 
 

赞助商

 
 

联络

 
 

如需任何信息，请随时使用以下提供的联系信息联系我们。


有关新闻发布会，请联系以下人员：