[ICLP 2025 - Last Call for Participation] 41st International Conference on Logic Programming (I CLP’25) University of Calabria, Rende, Ita ly | September 12-19, 2025
Manuel Alejandro Borroto Santana <[email protected]> Mon, 28 Jul 2025 15:47:05 +0200
| Newsgroups | gmane.comp.lang.haskell.general |
|---|---|
| Message-ID | <CAF4PLRBt+q+yxtn2kVpd83poMwOVptV5oAS6igjE1YWhH8KrCA@mail.gmail.com> |
--===============1327669131221804827== Content-Type: multipart/alternative; boundary="000000000000aa130f063afd877b" --000000000000aa130f063afd877b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *[apologize for multiple postings]* *Call for Participation* 41st International Conference on Logic Programming (ICLP=E2=80=9925) University of Calabria, Rende, Italy | September 12-19, 2025 https://iclp25.demacs.unical.it/ We are pleased to invite you to participate in the 41st International Conference on Logic Programming (ICLP=E2=80=9925), which will be held at th= e University of Calabria from September 12-19, 2025. The event will include: =E2=97=8F 4 invited talks (Vladimir Lifschitz, Esra Erdem, Stefania Costantini, and Georg Gottlob) =E2=97=8F 63 conference paper presentations (24 regular papers and 3= 9 Technical Communications) =E2=97=8F 4 Recently Published Research (RPR) presentations =E2=97=8F 2 co-located events (PPDP 2025 and LOPSTR 2025) =E2=97=8F 8 workshops =E2=97=8F Autumn School =E2=97=8F Doctoral Consortium =E2=97=8F Logic Programming Contest Registration is now open, with early fees available until *July 30th AOE*. The registration procedure will close on August 30th AOE. *On-Site Registration is not available.* For more information on the registration process, please visit the following webpage: https://iclp25.demacs.unical.it/registration *SCOPE* Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions span all areas of logic programming, including but not limited to the following: *Theoretical Foundations:* Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results. *Language Design and Programming Methodologies:* Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming. *Program Analysis and Optimization:* Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs. *Implementation Methodologies and Applications:* Compilation, Constraint implementation, Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces. *REGISTRATION* Early fees are available until July 30th AOE, the registration procedure closes August 30th AOE*. **On-Site Registration is not available.* https://iclp25.demacs.unical.it/registration *Persons in need and from target groups in the ALP policy for diversity and inclusion can request limited travel grants to ALP.* *KEYNOTE SPEAKERS* =E2=97=8F Vladimir Lifschitz, University of Texas at Austin ( https://www.cs.utexas.edu/~vl/), September 15 =E2=97=8F Esra Erdem, Sabanci University ( https://people.sabanciuniv.edu/esraerdem/), September 16 =E2=97=8F Stefania Costantini, University of L=E2=80=99Aquila ( https://people.disim.univaq.it/~stefcost/), September 17 =E2=97=8F Georg Gottlob, University of Calabria ( https://www.unical.it/storage/teachers/georg.gottlob/), September 18 *ACCEPTED PAPERS* The full list of accepted papers is available at the following link: https://iclp25.demacs.unical.it/program/accepted-papers *AFFILIATED EVENTS* =E2=97=8F Workshops: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/workshops - 32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025) - 18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2025) - 12th Workshop on Probabilistic Logic Programming (PLP 2025) - 9th Workshop on Advances in Argumentation in Artificial Intelligence (AI=C2=B3 2025) - Third Prolog Education Workshop (PEG 2025) - Second Annual Workshop on Prolog Improvement Proposals (PIPs) - Workshop on Logic Programming and Legal Reasoning (LPLR 2025) - 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) =E2=97=8F Autumn School in Computational Logic: September 12-13, 202= 5 https://iclp25.demacs.unical.it/workshops-school-and-dc/autumn-school-on-lo= gic-programming =E2=97=8F Doctoral Consortium: September 12-13, 2025 https://iclp25.demacs.unical.it/workshops-school-and-dc/doctoral-consortium =E2=97=8F Logic Programming Contest: September 17, 2025 =E2=97=8F International Symposium on Principles and Practice of Decl= arative Programming (PPDP 2025) https://ppdp25.github.io/site/ =E2=97=8F International Symposium on Logic-based Program Synthesis a= nd Transformation (LOPSTR 2025) https://lopstr.github.io/2025/ *VENUE* ICLP=E2=80=9925 will be held on the campus of the University of Calabria in= Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts. For more information about the venue, please visit the following webpage: https://iclp25.demacs.unical.it/venue/conference-venue Useful information about accommodation and travel can be found at the following links: =E2=97=8F https://iclp25.demacs.unical.it/venue/accommodation =E2=97=8F https://iclp25.demacs.unical.it/venue/travel-information *ORGANIZATION* General Chair: Francesco Ricca Program Co-chairs: Martin Gebser and Daniela Inclezan Publicity Chairs: Manuel Borroto and Francesco Calimeri Local Chairs: Antonio Ielo and Giuseppe Mazzotta *PROGRAM COMMITTEE* Salvador Abreu, NOVA-LINCS / University of Evora Mario Alviano, University of Calabria Nicos Angelopoulos, The Pirbright Institute Marcello Balduccini, Saint Joseph=E2=80=99s University Mutsunori Banbara, Nagoya University Elena Bellodi, University of Ferrara Stefano Bistarelli, University of Perugia Bart Bogaerts, KU Leuven Pedro Cabalar, University of Corunna Roberta Calegari, Alma Mater Studiorum=E2=80=93University of Bologna Angelos Charalambidis, Harokopio University Michael Codish, Ben-Gurion University of the Negev Stefania Costantini, University of L'Aquila Alessandro Dal Pal=C3=B9, University of Parma Marina De Vos, University of Bath Marc Denecker, KU Leuven Carmine Dodaro, University of Calabria Thomas Eiter, TU Wien Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt Fran=C3=A7ois Fages, INRIA Saclay Jorge Fandinno, University of Nebraska Omaha Johannes K. Fichte, Link=C3=B6ping University Fabio Fioravanti, University of Chieti-Pescara Andrea Formisano, University of Udine Gerhard Friedrich, University of Klagenfurt Sarah Alice Gaggl, TU Dresden Marco Gavanelli, University of Ferrara Laura Giordano, DISIT, University of Eastern Piedmont Ricardo Gon=C3=A7alves, NOVA University Lisbon Gopal Gupta, The University of Texas at Dallas Carito Guziolowski, Centrale Nantes Markus Hecher, CNRS, Artois University Giovambattista Ianni, University of Calabria Tomi Janhunen, Tampere University Nikos Katzouris, NCSR Demokritos Gabriele Kern-Isberner, TU Dortmund Matthias Knorr, NOVA University Lisbon Isabelle Kuhlmann, University of Hagen Joao Leite, NOVA University Lisbon Michael Leuschel, Heinrich-Heine University of D=C3=BCsseldorf Vladimir Lifschitz, The University of Texas at Austin Francesca Alessandra Lisi, University of Bari Aldo Moro Yanhong A. Liu, Stony Brook University Marco Maratea, University of Calabria Viviana Mascardi, DIBRIS, University of Genova Jose F. Morales, Technical University of Madrid / IMDEA Software Institute Johannes Oetsch, J=C3=B6nk=C3=B6ping University Simona Perri, University of Calabria Enrico Pontelli, New Mexico State University Fabrizio Riguzzi, University of Ferrara Ricardo Rocha, University of Porto Chiaki Sakama, Wakayama University Zeynep G. Saribatur, TU Wien Torsten Schaub, University of Potsdam Konstantin Schekotihin, University of Klagenfurt Tom Schrijvers, KU Leuven Dietmar Seipel, University of W=C3=BCrzburg Theresa Swift, Johns Hopkins Applied Physics Lab Paul Tarau, University of North Texas Hans Tompits, TU Wien Mirek Truszczynski, University of Kentucky Ath=C3=A9na=C3=AFs Vaginay, University of Caen Normandy Germ=C3=A1n Vidal, VRAIN, Polytechnic University of Valencia Concepcion Vidal, University of Corunna Alicia Villanueva, VRAIN =E2=80=93 Polytechnic University of Valencia Johannes P. Wallner, TU Graz Kewen Wang, Griffith University David S.Warren, Stony Brook University Felix Weitk=C3=A4mper, German UDS Potsdam Stefan Woltran, TU Wien Roland Yap, National University of Singapore Jia-Huai You, University of Alberta Zhizheng Zhang, Southeast University Yuanlin Zhang, Texas Tech University Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center --=20 ---------------------------------------------------------------------------= --------------------------------------- Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica= =20 dell'Universit=C3=A0 della Calabria <https://www.unical.it/5x1000> --000000000000aa130f063afd877b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"> <span style=3D"font-size:11pt;font-family:Aptos;color:rgb(0,0,0);background= -color:transparent;font-variant-numeric:normal;font-variant-east-asian:norm= al;font-variant-alternates:normal;vertical-align:baseline"><i>[apologize fo= r multiple postings]</i></span><br><br></p><p class=3D"MsoNormal" style=3D"= margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:"= ;Calibri",sans-serif"><b><span lang=3D"EN" style=3D"font-family:Aptos"= ><br></span></b></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt= ;line-height:normal;font-size:11pt;font-family:"Calibri",sans-ser= if"><b><span lang=3D"EN" style=3D"font-family:Aptos">Call for Participation</span></b><span lang=3D"EN" style=3D"font-family:Aptos"><span= ></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">41st International Conference on Logic Progra= mming (ICLP=E2=80=9925)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">University of Calabria, Rende, Italy | Septem= ber 12-19, 2025<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= "><a href=3D"https://iclp25.demacs.unical.it/" target=3D"_blank"><span styl= e=3D"font-family:Aptos;color:rgb(17,85,204)">https://iclp25.demacs.unical.i= t/</span></a></span><span lang=3D"EN" style=3D"font-family:Aptos"> <span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0</span></p><p class=3D"MsoNormal" style= =3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:&= quot;Calibri",sans-serif"><span lang=3D"EN" style=3D"font-family:Aptos= "><br></span></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;li= ne-height:normal;font-size:11pt;font-family:"Calibri",sans-serif"= ><span lang=3D"EN" style=3D"font-family:Aptos">We are pleased to invite you= to participate in the 41st International Conference on Logic Programming (ICLP=E2=80=9925), which= will be held at the University of Calabria from September 12-19, 2025. The event wi= ll include:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols""><= span>=E2=97=8F<span style=3D"font:7pt "Times New Roman"">=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN"><span id=3D"m_7512512679373930425m_-= 802459405130622243m_2498935303113127149gmail--926915664"><span id=3D"m_7512= 512679373930425m_-802459405130622243m_2498935303113127149gmail--826977957">= 4</span></span> invited talks (</span><span lang=3D"EN" style=3D"font-family:Aptos">Vladimi= r Lifschitz</span><span lang=3D"EN">,=C2=A0</span><span style=3D"font-famil= y:Aptos">Esra Erdem</span><span lang=3D"EN">,=C2=A0</span><span lang=3D"IT"= style=3D"font-family:Aptos">Stefania Costantini</span><span lang=3D"EN">, = and=C2=A0</span><span lang=3D"EN" style=3D"font-family:Aptos">Georg Gottlob= </span><span lang=3D"EN">)<span></span></span></p> <span id=3D"m_7512512679373930425m_-802459405130622243m_2498935303113127149= gmail-197878710"> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";c= olor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&qu= ot;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN"><span></span><span id=3D"m_75125126= 79373930425m_-802459405130622243m_2498935303113127149gmail-1780407639"><spa= n id=3D"m_7512512679373930425m_-802459405130622243m_2498935303113127149gmai= l-1565585686">63</span></span><span id=3D"m_7512512679373930425m_-802459405= 130622243m_2498935303113127149gmail--1913759972"> </span>conference paper p= resentations<span id=3D"m_7512512679373930425m_-802459405130622243m_2498935= 303113127149gmail-1483841223"> (24 regular papers and 39 Technical Communications)<span id=3D"m_7512512679373930425m_-802459405130622243m_24= 98935303113127149gmail--309200722"><span>=C2=A0=C2=A0=C2=A0=C2=A0 </span></= span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:black= "><span></span></span></p> </span><span id=3D"m_7512512679373930425m_-802459405130622243m_249893530311= 3127149gmail--1270752139"> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols"">= <span>=E2=97=8F<span style=3D"font:7pt "Times New Roman"">=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN"><span></span><span id=3D"m_75125126= 79373930425m_-802459405130622243m_2498935303113127149gmail-1733257470"><spa= n id=3D"m_7512512679373930425m_-802459405130622243m_2498935303113127149gmai= l--183062744"><span style=3D"font-family:Aptos">4 Recently Published Resear= ch (RPR) presentations</span></span></span></span><span lang=3D"EN" style=3D"font= -family:Aptos"><span></span></span></p> </span> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">2 co-located events (PPDP 2025 and LOPSTR 2025)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">8 workshops<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Autumn School<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Doctoral Consortium<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Logic Programming Contest<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Registration is now open, with early fees ava= ilable until <b>July 30th AOE</b>. The registration procedure will close on August= 30th AOE. <b>On-Site Registration is not available.<span></span></b></span= ></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">For more information on the registration proc= ess, please visit the following webpage:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= "><a href=3D"https://iclp25.demacs.unical.it/registration" target=3D"_blank= "><span style=3D"font-family:Aptos;color:blue">https://iclp25.demacs.unical= .it/registration</span></a></span><span lang=3D"EN" style=3D"font-family:Ap= tos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">SCOPE</span></b><span lang=3D"EN" style=3D= "font-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Since the first conference In Marseille in 19= 82, ICLP has been the premier international event for presenting research in lo= gic programming. Contributions span all areas of logic programming, including b= ut not limited to the following:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">Theoretical Foundations:</span></b><span lang=3D"EN" style=3D"font-family:Aptos"><span>= </span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">Formal and operational semantics, Non-m= onotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining l= ogic and neural models, Complexity results.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">Language Design and Programming Methodologies:</span></b><span lang=3D"EN" style=3D"font-fa= mily:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">Concurrency and parallelism, Mobility, = Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languag= es, Programming techniques, Theory reasoning, Answer set programming, Inductive logic programming, Coinductive logic programming.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">Program Analysis and Optimization:</span></b><span lang=3D"EN" style=3D"font-family= :Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">Analysis, Transformation, Verification,= Debugging, Profiling, Visualization, Logic-based validation of generated programs.<span></span></= span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">Implementation Methodologies and Applications:</span></b><span lang=3D"EN" style=3D"font-f= amily:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN" style=3D"font-family:Aptos">Compilation, Constraint implementation,= Ethics and trustworthiness, Explainability, Parallel/distributed execution, Search and optimization problems, Heuristic methods, Logic-based prompt engineering, Tabling, User interfaces.<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">REGISTRATION<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Early fees are available until July 30th AOE,= the registration procedure closes August 30th AOE<b>.=C2=A0</b></span><b><span lang=3D"EN" s= tyle=3D"font-family:Aptos">On-Site Registration is not available.<span></span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= "><a href=3D"https://iclp25.demacs.unical.it/registration" target=3D"_blank= "><span style=3D"font-family:Aptos;color:blue">https://iclp25.demacs.unical= .it/registration</span></a></span><span lang=3D"EN" style=3D"font-family:Ap= tos"> <b><span></span></b></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><br></p><p class= =3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-siz= e:11pt;font-family:"Calibri",sans-serif"> <span lang=3D"EN" style=3D"font-family:Aptos"><b>Persons in need and from t= arget groups in the ALP policy for diversity and inclusion can request limi= ted travel grants to ALP.</b></span><br><br></p><p class=3D"MsoNormal" styl= e=3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:= "Calibri",sans-serif"><b><span lang=3D"EN" style=3D"font-family:A= ptos"><span>=C2=A0</span></span></b></p><p class=3D"MsoNormal" style=3D"mar= gin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:"Ca= libri",sans-serif"><b><span lang=3D"EN" style=3D"font-family:Aptos">KE= YNOTE SPEAKERS</span></b><span lang=3D"EN" style=3D"font-family:Aptos;color:red">= <span></span></span></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.00= 01pt 0.5in;line-height:normal;font-size:11pt;font-family:"Calibri"= ;,sans-serif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><sp= an>=E2=97=8F<span style=3D"font:7pt "Times New Roman"">=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos">Vladimir= Lifschitz, University of Texas at Austin (</span><span lang=3D"EN"><a href=3D"https://= www.cs.utexas.edu/~vl/" target=3D"_blank"><span style=3D"font-family:Aptos;= color:rgb(17,85,204)">https://www.cs.utexas.edu/~vl/</span></a></span><span= lang=3D"EN" style=3D"font-family:Aptos">), September 15<span style=3D"colo= r:red"><span></span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span styl= e=3D"font-family:Aptos;color:black"><span>=E2=97=8F<span style=3D"font:7pt = "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span style=3D"font-family:Aptos">Esra Erdem, Sabanci University (</span><span lang=3D"EN"><a href=3D"https://people.sabanciuniv.= edu/esraerdem/" target=3D"_blank"><span lang=3D"EN-US" style=3D"font-family= :Aptos;color:rgb(17,85,204)">https://people.sabanciuniv.edu/esraerdem/</spa= n></a></span><span style=3D"font-family:Aptos">), </span><span lang=3D"EN" = style=3D"font-family:Aptos">September 16</span><span style=3D"font-family:A= ptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"IT" style=3D"font-family:Aptos;color:black"><span>=E2=97=8F<span style= =3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 </span></span></span><span lang=3D"IT" style=3D"font-family:Aptos">Stefania= Costantini, University of L=E2=80=99Aquila (</span><span lang=3D"EN"><a hr= ef=3D"https://people.disim.univaq.it/~stefcost/" target=3D"_blank"><span la= ng=3D"IT" style=3D"font-family:Aptos;color:rgb(17,85,204)">https://people.d= isim.univaq.it/~stefcost/</span></a></span><span lang=3D"IT" style=3D"font-= family:Aptos">), </span><span lang=3D"EN" style=3D"font-family:Aptos">Septe= mber 17</span><span lang=3D"IT" style=3D"font-family:Aptos"><span></span></= span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span styl= e=3D"font-family:Aptos;color:black"><span>=E2=97=8F<span style=3D"font:7pt = "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN"><span id=3D"m_7512512679373930425m_-= 802459405130622243m_2498935303113127149gmail-1147503777"></span></span><spa= n lang=3D"EN" style=3D"font-family:Aptos">Georg Gottlob, University of Calabria (</span><span lang=3D"EN"><a href=3D"https://www.uni= cal.it/storage/teachers/georg.gottlob/" target=3D"_blank"><span style=3D"fo= nt-family:Aptos;color:rgb(17,85,204)">https://www.unical.it/storage/teacher= s/georg.gottlob/</span></a></span><span lang=3D"EN" style=3D"font-family:Ap= tos">), September 18</span><span style=3D"font-family:Aptos"><span></span><= /span></p> <span lang=3D"IT" style=3D"font-family:Aptos"></span><p class=3D"MsoNormal"= style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-fa= mily:"Calibri",sans-serif"><b><span lang=3D"IT" style=3D"font-fam= ily:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "IT" style=3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">ACCEPTED PAPERS<span></span></span></b></p= > <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">The full list of accepted papers is available= at the following link: </span><span lang=3D"EN"><a href=3D"https://iclp25.dema= cs.unical.it/program/accepted-papers" target=3D"_blank"><span style=3D"font= -family:Aptos;color:rgb(17,85,204)">https://iclp25.demacs.unical.it/program= /accepted-papers</span></a></span><span lang=3D"EN" style=3D"font-family:Ap= tos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos"><span>=C2=A0</span></span></b></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">AFFILIATED EVENTS</span></b><span lang=3D"EN" style=3D"font-family:Aptos"><span></span= ></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Workshops: </span><span lang=3D"EN" style=3D"font-family:Aptos">September 12-13, 2025<= span style=3D"color:black"><span></span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span><span>=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span><span = lang=3D"EN"><a href=3D"https://iclp25.demacs.unical.it/workshops-school-and= -dc/workshops" target=3D"_blank"><span style=3D"font-family:Aptos;color:blu= e">https://iclp25.demacs.unical.it/workshops-school-and-dc/workshops</span>= </a></span><span lang=3D"EN" style=3D"font-family:Aptos"><span>=C2=A0 </spa= n><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><a name=3D"m_7512512679373930425_m_-802459405130622243_m_2498935303113= 127149__heading=3Dh.xuof1wrhgmt2"></a><span lang=3D"EN" style=3D"font-famil= y:Aptos;color:black"><span>-<span style=3D"font:7pt "Times New Roman&q= uot;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">32nd RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2025)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">18th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 20= 25)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">12th Workshop on Probabilistic Logic Programming (PLP 2025)<span></span></span><= /p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">9th Workshop on Advances in Argumentation in Artificial Intelligence (AI=C2=B3 = 2025)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Third Prolog Education Workshop (PEG 2025)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Second Annual Workshop on Prolog Improvement Proposals (PIPs)<span></span></span><= /p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Workshop on Logic Programming and Legal Reasoning (LPLR 2025)<span></span></span></p= > <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.75in;line-height:= normal;border:medium;font-size:11pt;font-family:"Calibri",sans-se= rif"><span lang=3D"EN" style=3D"font-family:Aptos;color:black"><span>-<span= style=3D"font:7pt "Times New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA)<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Autumn School in Computational Logic: </span><span lang=3D"EN" style=3D"font-famil= y:Aptos">September 12-13, 2025<span style=3D"color:black"><span></span></sp= an></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;font-size:11pt;font-family:"Calibri",sans-serif"><span lang= =3D"EN"><a href=3D"https://iclp25.demacs.unical.it/workshops-school-and-dc/= autumn-school-on-logic-programming" target=3D"_blank"><span style=3D"font-f= amily:Aptos;color:blue">https://iclp25.demacs.unical.it/workshops-school-an= d-dc/autumn-school-on-logic-programming</span></a></span><span lang=3D"EN" = style=3D"font-family:Aptos"> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Doctoral Consortium: </span><span lang=3D"EN" style=3D"font-family:Aptos">September = 12-13, 2025 <span style=3D"color:black"><span></span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;text-indent:0.5in;l= ine-height:normal;font-size:11pt;font-family:"Calibri",sans-serif= "><span lang=3D"EN"><a href=3D"https://iclp25.demacs.unical.it/workshops-sc= hool-and-dc/doctoral-consortium" target=3D"_blank"><span style=3D"font-fami= ly:Aptos;color:blue">https://iclp25.demacs.unical.it/workshops-school-and-d= c/doctoral-consortium</span></a></span><span lang=3D"EN" style=3D"font-fami= ly:Aptos"> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">Logic Programming Contest: </span><span lang=3D"EN" style=3D"font-family:Aptos">S= eptember 17, 2025<span style=3D"color:red"> </span><span style=3D"color:bla= ck"><span></span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;background:white;border:medium;font-size:11pt;font-family:"Calib= ri",sans-serif"><span lang=3D"EN" style=3D"font-family:"Noto Sans= Symbols";color:black"><span>=E2=97=8F<span style=3D"font:7pt "Ti= mes New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">International Symposium on Principles and Practice of Declarative Programming (PPDP 2025)= <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;text-indent:0.5in;l= ine-height:normal;background:white;font-size:11pt;font-family:"Calibri= ",sans-serif"><span lang=3D"EN"><a href=3D"https://ppdp25.github.io/si= te/" target=3D"_blank"><span style=3D"font-family:Aptos;color:blue">https:/= /ppdp25.github.io/site/</span></a></span><span lang=3D"EN" style=3D"font-fa= mily:Aptos;color:black"> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;font-size:11pt;font-family:"Calibri",sans-serif"= ><span lang=3D"EN" style=3D"font-family:Aptos"><span>=C2=A0</span></span></= p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;background:white;border:medium;font-size:11pt;font-family:"Calib= ri",sans-serif"><span lang=3D"EN" style=3D"font-family:"Noto Sans= Symbols";color:black"><span>=E2=97=8F<span style=3D"font:7pt "Ti= mes New Roman"">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN" style=3D"font-family:Aptos;color:bla= ck">International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025)= <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;text-indent:0.5in;l= ine-height:normal;background:white;font-size:11pt;font-family:"Calibri= ",sans-serif"><span lang=3D"EN"><a href=3D"https://lopstr.github.io/20= 25/" target=3D"_blank"><span style=3D"font-family:Aptos;color:blue">https:/= /lopstr.github.io/2025/</span></a></span><span lang=3D"EN" style=3D"font-fa= mily:Aptos"> <span></span></span></p><p class=3D"MsoNormal" style=3D"margin= :0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:"Calib= ri",sans-serif"><span lang=3D"EN" style=3D"font-family:Aptos">=C2=A0<s= pan></span></span></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001= pt;line-height:normal;font-size:11pt;font-family:"Calibri",sans-s= erif"><b><span lang=3D"EN" style=3D"font-family:Aptos"><br></span></b></p><= p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;f= ont-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D"= EN" style=3D"font-family:Aptos">VENUE</span></b><span lang=3D"EN" style=3D"= font-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">ICLP=E2=80=9925 will be held on the campus of= the University of Calabria in Rende, Italy, during 12-19 September 2025. <span = style=3D"color:black;background:white">The University of Calabria is one of Italy's leading academic institutions, renowned for = its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty= and cultural richness. Calabria is a region rich in culture, offering a blend o= f historical heritage and stunning natural beauty. From its breathtaking coas= tal spots to its easily accessible mountains, the region provides an unforgetta= ble cultural and culinary experience, savoring authentic dishes made from fresh= , local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts.</span> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">For more information about the venue, please = visit the following webpage:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= "><a href=3D"https://iclp25.demacs.unical.it/venue/conference-venue" target= =3D"_blank"><span style=3D"font-family:Aptos;color:blue">https://iclp25.dem= acs.unical.it/venue/conference-venue</span></a></span><span lang=3D"EN" sty= le=3D"font-family:Aptos"> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos"><span>=C2=A0</span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Useful information about accommodation and tr= avel can be found at the following links:<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN"><a href=3D"https://iclp25.demacs.uni= cal.it/venue/accommodation" target=3D"_blank"><span style=3D"font-family:Ap= tos;color:blue">https://iclp25.demacs.unical.it/venue/accommodation</span><= /a></span><span lang=3D"EN" style=3D"font-family:Aptos;color:black"> <span>= </span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt 0.5in;line-height:n= ormal;border:medium;font-size:11pt;font-family:"Calibri",sans-ser= if"><span lang=3D"EN" style=3D"font-family:"Noto Sans Symbols";co= lor:black"><span>=E2=97=8F<span style=3D"font:7pt "Times New Roman&quo= t;">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 </span></span></span><span lang=3D"EN"><a href=3D"https://iclp25.demacs.uni= cal.it/venue/travel-information" target=3D"_blank"><span style=3D"font-fami= ly:Aptos;color:blue">https://iclp25.demacs.unical.it/venue/travel-informati= on</span></a></span><span lang=3D"EN" style=3D"font-family:Aptos;color:blac= k"> <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><br></p><p class= =3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-siz= e:11pt;font-family:"Calibri",sans-serif"><br></p><p class=3D"MsoN= ormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;f= ont-family:"Calibri",sans-serif"><b><span lang=3D"EN" style=3D"fo= nt-family:Aptos"><span></span></span></b></p><p class=3D"MsoNormal" style= =3D"margin:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:&= quot;Calibri",sans-serif"><b><span lang=3D"EN" style=3D"font-family:Ap= tos"><span>=C2=A0</span></span></b></p><p class=3D"MsoNormal" style=3D"marg= in:0in 0in 0.0001pt;line-height:normal;font-size:11pt;font-family:"Cal= ibri",sans-serif"><b><span lang=3D"EN" style=3D"font-family:Aptos"><br= ></span></b></p><p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;lin= e-height:normal;font-size:11pt;font-family:"Calibri",sans-serif">= <b><span lang=3D"EN" style=3D"font-family:Aptos">ORGANIZATION</span></b><sp= an lang=3D"EN" style=3D"font-family:Aptos"><span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">General Chair: Francesco Ricca<span></span></= span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Program Co-chairs: Martin Gebser and Daniela Inclezan<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;font-size:11pt;font-family:"Calibri",sans-serif"= ><span lang=3D"EN" style=3D"font-family:Aptos;color:black">Publicity Chairs= : Manuel Borroto and Francesco Calimeri</span><span lang=3D"EN" style=3D"font-family:Aptos">= <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= background:white;font-size:11pt;font-family:"Calibri",sans-serif"= ><span lang=3D"EN" style=3D"font-family:Aptos;color:black">Local Chairs: An= tonio Ielo and Giuseppe Mazzotta</span><span lang=3D"EN" style=3D"font-family:Aptos"><span= ></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">=C2=A0<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><b><span lang=3D= "EN" style=3D"font-family:Aptos">PROGRAM COMMITTEE</span></b><span lang=3D"EN" style=3D"font-family:Aptos"><span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Salvador Abreu, NOVA-LINCS / University of Ev= ora<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Mario Alviano, University of Calabria<span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Nicos Angelopoulos, The Pirbright Institute<s= pan></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Marcello Balduccini, Saint Joseph=E2=80=99s U= niversity<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Mutsunori Banbara, Nagoya University<span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Elena Bellodi, University of Ferrara<span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Stefano Bistarelli, University of Perugia<spa= n></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Bart Bogaerts, KU Leuven<span></span></span><= /p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Pedro Cabalar, University of Corunna<span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Roberta Calegari, Alma Mater Studiorum=E2=80= =93University of Bologna<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Angelos Charalambidis, Harokopio University<s= pan></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Michael Codish, Ben-Gurion University of the = Negev<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Stefania Costantini, University of L'Aquila<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Alessandro Dal Pal=C3=B9, University of Parma<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Marina De Vos, University of Bath<span></span= ></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Marc Denecker, KU Leuven<span></span></span><= /p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Carmine Dodaro, University of Calabria<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Thomas Eiter, TU Wien<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Esra Erdem, Sabanci University<span></span></= span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Wolfgang Faber, University of Klagenfurt<span= ></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Fran=C3=A7ois Fages, INRIA Saclay<span></span= ></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Jorge Fandinno, University of Nebraska Omaha<= span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Johannes K. Fichte, Link=C3=B6ping University= <span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Fabio Fioravanti, University of Chieti-Pescar= a<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Andrea Formisano, University of Udine<span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Gerhard Friedrich, University of Klagenfurt<s= pan></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Sarah Alice Gaggl, TU Dresden<span></span></s= pan></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Marco Gavanelli, University of Ferrara<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Laura Giordano, DISIT, University of Eastern Piedmont<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Ricardo Gon=C3=A7alves, NOVA University Lisbo= n<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Gopal Gupta, The University of Texas at Dalla= s<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Carito Guziolowski, Centrale Nantes<span></sp= an></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Markus Hecher, CNRS, Artois University<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Giovambattista Ianni, University of Calabria<= span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Tomi Janhunen, Tampere University<span></span= ></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Nikos Katzouris, NCSR Demokritos<span></span>= </span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Gabriele Kern-Isberner, TU Dortmund<span></sp= an></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Matthias Knorr, NOVA University Lisbon<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Isabelle Kuhlmann, University of Hagen<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Joao Leite, NOVA University Lisbon<span></spa= n></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Michael Leuschel, Heinrich-Heine University o= f D=C3=BCsseldorf<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Vladimir Lifschitz, The University of Texas a= t Austin<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Francesca Alessandra Lisi, University of Bari Aldo Moro<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Yanhong A. Liu, Stony Brook University<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Marco Maratea, University of Calabria<span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Viviana Mascardi, DIBRIS, University of Genov= a<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Jose F. Morales, Technical University of Madr= id / IMDEA Software Institute<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Johannes Oetsch, J=C3=B6nk=C3=B6ping Universi= ty<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Simona Perri, University of Calabria<span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Enrico Pontelli, New Mexico State University<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Fabrizio Riguzzi, University of Ferrara<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Ricardo Rocha, University of Porto<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Chiaki Sakama, Wakayama University<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"IT= " style=3D"font-family:Aptos">Zeynep G. Saribatur, TU Wien<span></span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Torsten Schaub, University of Potsdam<span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Konstantin Schekotihin, University of Klagenf= urt<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Tom Schrijvers, KU Leuven<span></span></span>= </p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Dietmar Seipel, University of W=C3=BCrzburg<s= pan></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Theresa Swift, Johns Hopkins Applied Physics = Lab<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Paul Tarau, University of North Texas<span></= span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Hans Tompits, TU Wien<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Mirek Truszczynski, University of Kentucky<sp= an></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Ath=C3=A9na=C3=AFs Vaginay, University of Cae= n Normandy<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Germ=C3=A1n Vidal, VRAIN, Polytechnic Univers= ity of Valencia<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Concepcion Vidal, University of Corunna<span>= </span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Alicia Villanueva, VRAIN =E2=80=93 Polytechni= c University of Valencia<span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Johannes P. Wallner, TU Graz<span></span></sp= an></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Kewen Wang, Griffith University<span></span><= /span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">David S.Warren, Stony Brook University<span><= /span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Felix Weitk=C3=A4mper, German UDS Potsdam<spa= n></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Stefan Woltran, TU Wien<span></span></span></= p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Roland Yap, National University of Singapore<= span></span></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Jia-Huai You, University of Alberta<span></sp= an></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Zhizheng Zhang, Southeast University<span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Yuanlin Zhang, Texas Tech University<span></s= pan></span></p> <p class=3D"MsoNormal" style=3D"margin:0in 0in 0.0001pt;line-height:normal;= font-size:11pt;font-family:"Calibri",sans-serif"><span lang=3D"EN= " style=3D"font-family:Aptos">Neng-Fa Zhou, CUNY Brooklyn College and Gradu= ate Center</span></p> <br></div> <br> <div style=3D"font-family:Arial,Helvetica,sans-serif;font-size:1.3em">-----= -------------------------<span></span><span></span><span></span><span></spa= n><span></span><span></span><wbr>------------------------------<span></span= ><span></span><span></span><span></span><span></span><span></span><wbr>----= --------------------------<span></span><span></span><span></span><span></sp= an><span></span><span></span><wbr>------------------------</div><div><font = face=3D"Arial, Helvetica, sans-serif"><span style=3D"font-size:13px">Il ban= ner =C3=A8 generato automaticamente dal servizio di posta elettronica dell&= #39;Universit=C3=A0 della Calabria</span></font></div><div><font face=3D"Ar= ial, Helvetica, sans-serif"><span style=3D"font-size:13px"><a href=3D"https= ://www.unical.it/5x1000" target=3D"_blank"><img src=3D"https://www.unical.i= t/media/medias/2024/5X1000_2024_mail_ok_20.webp" alt=3D"https://www.unical.= it/5x1000"></a><br></span></font></div> --000000000000aa130f063afd877b-- --===============1327669131221804827== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo= --===============1327669131221804827==--