---------------------------------------------------------------------------------------------------------------------------
1. Gramann K、McKendrick R、Baldwin C、Roy RN、Jeunet C、Mehta RK 和 Vecchiato G (2021) 未来十年认知神经工效学面临的重大挑战。Front. Neuroergon。2:643969。doi: 10.3389/fnrgo.2021.643969 2. Nuara A、Mirandola L、Fabbri-Destro M、Giovannini G、Vecchiato G、Vaudano AE、Tassinari CA、Avanzini P、Meletti S。音乐性癫痫发作间期活动的时空动态:两例病例报告和文献系统综述。 Clinical Neurophysiology 2020 年 7 月 3. Vecchiato G、Vecchio MD、Ascari L、Antopolskiy S、Deon F、Kubin L、Ambeck-Madsen J、Rizzolatti G、Avanzini P。汽车驾驶模拟中制动和加速运动准备的脑电图时频模式。Brain Res。2019 年 8 月 1 日;1716:16-26。doi:10.1016/j.brainres.2018.09.004。4. De Dreu CKW、Giacomantonio M、Giffin MR、Vecchiato G。经济竞赛中对攻击性掠夺的心理限制。J Exp Psychol Gen。2019 年 12 月 17 日。doi:10.1037/xge0000531。
dijkstra最弱的基本谓词变压器无疑是程序语义和验证领域中最有效的工具之一。在过去的十年中,这种结构已被推广到概率程序:在这种情况下,公式的真理本质上是定量的,例如,真实价值观会变成概率。虽然这种方法是为概率命令计划建立的[Kozen,1981; McIver和Morgan,2005年; Avanzini等。2023,2024],其向高阶程序的扩展仍然没有被忽略。这是不幸的,例如基于游戏的加密证明固有地围绕着对高阶,概率程序的分析。
* Sven Ingmar Andersson,瑞典隆德大学和圣拉尔斯医院 * Paola Avanzini,意大利帕维亚大学 * B. Diane Barnette,美国马里兰州阿伯丁试验场人体工程学实验室 B. Biehl,德意志联邦共和国曼海姆大学 Waiter F. Bischof,瑞士伯尔尼大学 * Didier Bouis,德意志联邦共和国卡尔斯鲁厄弗劳恩霍夫研究所 Henk J. Breimer、Kath.荷兰蒂尔堡应用科学学院 * Francis Breitenbach,美国马里兰州阿伯丁试验场人体工程学实验室 * Angelo Buizza,意大利帕维亚大学 * Carlo Cabiati,意大利帕维亚大学 Amos S. Cohen,瑞士苏黎世联邦理工学院 * Peter Coles,瑞士日内瓦大学 * Trevor Crawford,英国杜伦大学 Reinhard Daugs,德意志联邦共和国柏林自由大学 Patrick Davous,法国巴黎圣安妮医院中心 Ernst G. De Langen,德意志联邦共和国慕尼黑大学 * Robert W. Ditchburn,英国雷丁大学 * J. Fassl,德国柏林科学学院 * John M. Findlay,英国杜伦大学 Hans-Uell Fisch,瑞士伯尔尼大学 Hardi Fischer,瑞士苏黎世联邦理工学院 * Dennis F. Fisher,英国人体工程学实验室阿伯丁试验场,医学博士,英国阿尔赛,弗洛雷斯,莱顿大学和马克斯普朗克研究所,荷兰奈梅亨 Peter Fries,瑞典隆德大学 * Alistair G. Gale,英国诺丁汉皇后医疗中心 * Niels Galley,德国科隆大学 * Marina Groner,瑞士伯尔尼大学和巴塞尔大学 * Rudolf Groner,瑞士伯尔尼大学 Annelles Heinisch,维尔茨堡大学,德意志联邦共和国 * Dieter Heller,拜罗伊特大学,德意志联邦共和国 Friederich W. Hesse,莱茵威斯特法伦工业大学亚琛分校,德意志联邦共和国 Rene Hirsig,瑞士联邦理工学院,瑞士苏黎世
罗马第一大学 – Piazzale Aldo Moro 5 10:00 – 10:15 欢迎 – 系主任 Eleonora Palma 介绍 – Cinzia Costa 和 Eleonora Palma 10:15 – 12:00 主席:Maurizio Taglialatela – Gaetano Terrone 10:15 – 10:30 以多巴胺能和内源性大麻素信号传导为目标进行救援Lafora 病小鼠模型中的突触功能障碍 Sciaccaluga Miriam 10:30 – 10:45 癫痫持续状态会触发致痫性皮质畸形的 MAM/毛果芸香碱大鼠模型中的中枢神经系统自身免疫反应 Ciotti Arianna 10:45 – 11.00 了解伴有癫痫发作的自身免疫性脑炎:揭示外周炎症作用的新实验方法 Prevosti萨拉 11:00 – 11:15 基于 GABAA 受体过度表达的局灶性癫痫基因治疗方法 Bettegazzi Barbara 11:15 – 11:30 追踪从肠道到大脑的代谢物:探索代谢组学和脂质组学方法研究癫痫的肠脑轴 Volpedo Greta 11:30 – 12:00 讨论 12:00 – 12:45 特邀嘉宾讲座 Albert Becker(波恩大学)– 由 Annamaria Vezzani 介绍 12:45 – 15:00 便餐 – 海报展示会(Filippo Sean Giorgi – Jacopo Di Francesco) 15:00 – 16:45 主席:Marco de Curtis – Michele Simonato 15:00 – 15:15 慢性去甲肾上腺素能失神经支配对老龄小鼠模型中癫痫发作阈值的影响:晚发型癫痫与癫痫发作之间可能存在的联系癫痫和阿尔茨海默病 Galgani Alessandro 15:15 – 15:30 AATrkB 激活作为药物耐药性颞叶癫痫的新靶点:从动物模型到人类癫痫大脑 Guarino Annunziata 15:30 – 15:45 大麻二酚在因 ARX 三联体重复扩增导致的发育性和癫痫性脑病小鼠模型中发挥抗癫痫作用并增加存活率 Verrillo Lucia 15:45 – 16:00 用于测试 GLUT -1 缺乏综合征新治疗策略的雨内皮模型 Baldassari Simona 16:00 – 16:15 SCN2A p.Asp195Gly 突变的特征:药物耐药性癫痫性脑病患者的功能丧失变体 Lo Presti Francesca 16:15 – 16:45 讨论16:45 – 17:00 与 YES(ILAE 青年癫痫科)Giulia Battaglia – Ganna Balagura 会面 17:00 – 18:00 结论 – Giuliano Avanzini、Oriano Mecarelli、Emilio Russo 奶酪和葡萄酒 口头陈述:英语,每次最长 15 分钟,包括结论的清晰摘要 海报:英语(最大 70x100 厘米);请选择清晰的示意图结论和图表
