Related papers: Proceedings Eighth International Conference on App…

How to Run Algorithmic Information Theory on a Computer

Lecture given Friday 7 April 1995 at the Santa Fe Institute, Santa Fe, New Mexico. The lecture was videotaped; this is an edited transcript.

chao-dyn · Physics 2008-02-03 G. J. Chaitin

Proceedings 11th International Workshop on Theorem Proving Components for Educational Software

The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the…

Logic in Computer Science · Computer Science 2023-03-13 Pedro Quaresma , João Marcos , Walther Neuper

Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journ\'ees Automates Cellulaires

This volume contains the proceedings of the 18th International workshop AUTOMATA and the 3rd international symposium JAC. AUTOMATA workshop series aims at gathering researchers from all over the world working in fundamental aspects of…

Formal Languages and Automata Theory · Computer Science 2012-08-14 Enrico Formenti

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems

This volume of the EPTCS contains the proceedings of the 15th international workshop on Qualitative Aspects of Programming Languages and Systems, QAPL 2017, held at April 23, 2017 in Uppsala, Sweden as a satellite event of ETAPS 2017, the…

Programming Languages · Computer Science 2017-07-13 Herbert Wiklicky , Erik de Vink

Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software

This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE…

Software Engineering · Computer Science 2010-09-20 Gwen Salaün , Xiang Fu , Sylvain Hallé

Proceedings Sixth Workshop on Synthesis

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Logic in Computer Science · Computer Science 2017-11-29 Dana Fisman , Swen Jacobs

Pre-proceedings of the DECLARE 2019 Conference

This volume constitutes the pre-proceedings of the DECLARE 2019 conference, held on September 9 to 13, 2019 at the University of Technology Cottbus - Senftenberg (Germany). Declarative programming is an advanced paradigm for the modeling…

Programming Languages · Computer Science 2019-11-22 Salvador Abreu , Petra Hofstedt , Ulrich John , Herbert Kuchen , Dietmar Seipel

Proceedings Twelfth International Workshop on Computing with Terms and Graphs

The workshop TERMGRAPH 2022 took place at Technion in Haifa, Israel, on August 1, 2022, in the Pre-FLoC workshop block (July 31-August 1) of FLoC 2022 (Federated Logic Conference 2022, July 31-August 12). As such, TERMGRAPH 2022 was a…

Logic in Computer Science · Computer Science 2023-04-04 Clemens Grabmayer

Proceedings of the 6th Workshop on Formal Integrated Development Environment

This volume contains the proceedings of F-IDE 2021, the sixth international workshop on Formal Integrated Development Environment, which was held online on May 24-25, 2021, as part of NFM'21, the 13th NASA Formal Methods Symposium. High…

Software Engineering · Computer Science 2021-08-06 José Proença , Andrei Paskevich

Proceedings 40th International Conference on Logic Programming

Since the first conference In Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic programming. These proceedings include technical…

Logic in Computer Science · Computer Science 2025-02-13 Pedro Cabalar , Francesco Fabiano , Martin Gebser , Gopal Gupta , Theresa Swift

Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

Logic in Computer Science · Computer Science 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri

Proceedings 39th International Conference on Logic Programming

This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023. Technical Communications included here…

Artificial Intelligence · Computer Science 2023-08-30 Enrico Pontelli , Stefania Costantini , Carmine Dodaro , Sarah Gaggl , Roberta Calegari , Artur D'Avila Garcez , Francesco Fabiano , Alessandra Mileo , Alessandra Russo , Francesca Toni

Lectures on Conformal Field Theory

These lectures notes are based on courses given at National Taiwan University, National Chiao-Tung University, and National Tsing Hua University in the spring term of 2015. Although the course was offered primarily for graduate students,…

High Energy Physics - Theory · Physics 2016-05-20 Joshua D. Qualls

Proceedings 16th International Conference on Quantum Physics and Logic

This volume contains the proceedings of the 16th International Conference on Quantum Physics and Logic (QPL 2017), which was held June 10-14, 2019. Quantum Physics and Logic is an annual conference that brings together researchers working…

Logic in Computer Science · Computer Science 2020-05-01 Bob Coecke , Matthew Leifer

The Present and Future of QCD

This White Paper presents the community inputs and scientific conclusions from the Hot and Cold QCD Town Meeting that took place September 23-25, 2022 at MIT, as part of the Nuclear Science Advisory Committee (NSAC) 2023 Long Range Planning…

High Energy Physics - Phenomenology · Physics 2024-04-26 P. Achenbach , D. Adhikari , A. Afanasev , F. Afzal , C. A. Aidala , A. Al-bataineh , D. K. Almaalol , M. Amaryan , D. Androić , W. R. Armstrong , M. Arratia , J. Arrington , A. Asaturyan , E. C. Aschenauer , H. Atac , H. Avakian , T. Averett , C. Ayerbe Gayoso , X. Bai , K. N. Barish , N. Barnea , G. Basar , M. Battaglieri , A. A. Baty , I. Bautista , A. Bazilevsky , C. Beattie , S. C. Behera , V. Bellini , R. Bellwied , J. F. Benesch , F. Benmokhtar , C. A. Bernardes , J. C. Bernauer , H. Bhatt , S. Bhatta , M. Boer , T. J. Boettcher , S. A. Bogacz , H. J. Bossi , J. D. Brandenburg , E. J. Brash , R. A. Briceño , W. J. Briscoe , S. J. Brodsky , D. A. Brown , V. D. Burkert , H. Caines , I. A. Cali , A. Camsonne , D. S. Carman , J. Caylor , S. Cerci , M. Chamizo Llatas , S. Chatterjee , J. P. Chen , Y. Chen , Y. -C. Chen , Y. -T. Chien , P. -C. Chou , X. Chu , E. Chudakov , E. Cline , I. C. Cloët , P. L. Cole , M. E. Connors , M. Constantinou , W. Cosyn , S. Covrig Dusa , R. Cruz-Torres , U. D'Alesio , C. da Silva , Z. Davoudi , C. T. Dean , D. J. Dean , M. Demarteau , A. Deshpande , W. Detmold , A. Deur , B. R. Devkota , S. Dhital , M. Diefenthaler , S. Dobbs , M. Döring , X. Dong , R. Dotel , K. A. Dow , E. J. Downie , J. L. Drachenberg , A. Dumitru , J. C. Dunlop , R. Dupre , J. M. Durham , D. Dutta , R. G. Edwards , R. J. Ehlers , L. El Fassi , M. Elaasar , L. Elouadrhiri , M. Engelhardt , R. Ent , S. Esumi , O. Evdokimov , O. Eyser , C. Fanelli , R. Fatemi , I. P. Fernando , F. A. Flor , N. Fomin , A. D. Frawley , T. Frederico , R. J. Fries , C. Gal , B. R. Gamage , L. Gamberg , H. Gao , D. Gaskell , F. Geurts , Y. Ghandilyan , N. Ghimire , R. Gilman , C. Gleason , K. Gnanvo , R. W. Gothe , S. V. Greene , H. W. Grießhammer , S. K. Grossberndt , B. Grube , D. C. Hackett , T. J. Hague , H. Hakobyan , J. -O. Hansen , Y. Hatta , M. Hattawy , L. B. Havener , O. Hen , W. Henry , D. W. Higinbotham , T. J. Hobbs , A. M. Hodges , T. Holmstrom , B. Hong , T. Horn , C. R. Howell , H. Z. Huang , M. Huang , S. Huang , G. M. Huber , C. E. Hyde , E. L. Isupov , P. M. Jacobs , J. Jalilian-Marian , A. Jentsch , H. Jheng , C. -R. Ji , X. Ji , J. Jia , D. C. Jones , M. K. Jones , N. Kalantarians , G. Kalicy , Z. B. Kang , J. M. Karthein , D. Keller , C. Keppel , V. Khachatryan , D. E. Kharzeev , H. Kim , M. Kim , Y. Kim , P. M. King , E. Kinney , S. R. Klein , H. S. Ko , V. Koch , M. Kohl , Y. V. Kovchegov , G. K. Krintiras , V. Kubarovsky , S. E. Kuhn , K. S. Kumar , T. Kutz , J. G. Lajoie , J. Lauret , I. Lavrukhin , D. Lawrence , J. H. Lee , K. Lee , S. Lee , Y. -J. Lee , S. Li , W. Li , Xiaqing Li , Xuan Li , J. Liao , H. -W. Lin , M. A. Lisa , K. -F. Liu , M. X. Liu , T. Liu , S. Liuti , N. Liyanage , W. J. Llope , C. Loizides , R. Longo , W. Lorenzon , S. Lunkenheimer , X. Luo , R. Ma , B. McKinnon , D. G. Meekins , Y. Mehtar-Tani , W. Melnitchouk , A. Metz , C. A. Meyer , Z. -E. Meziani , R. Michaels , J. K. L. Michel , R. G. Milner , H. Mkrtchyan , P. Mohanmurthy , B. Mohanty , V. I. Mokeev , D. H. Moon , I. A. Mooney , C. Morningstar , D. P. Morrison , B. Müller , S. Mukherjee , J. Mulligan , C. Munoz Camacho , J. A. Murillo Quijada , M. J. Murray , S. A. Nadeeshani , P. Nadel-Turonski , J. D. Nam , C. E. Nattrass , G. Nijs , J. Noronha , J. Noronha-Hostler , N. Novitzky , M. Nycz , F. I. Olness , J. D. Osborn , R. Pak , B. Pandey , M. Paolone , Z. Papandreou , J. -F. Paquet , S. Park , K. D. Paschke , B. Pasquini , E. Pasyuk , T. Patel , A. Patton , C. Paudel , C. Peng , J. C. Peng , H. Pereira Da Costa , D. V. Perepelitsa , M. J. Peters , P. Petreczky , R. D. Pisarski , D. Pitonyak , M. A. Ploskon , M. Posik , J. Poudel , R. Pradhan , A. Prokudin , C. A. Pruneau , A. J. R. Puckett , P. Pujahari , J. Putschke , J. R. Pybus , J. -W. Qiu , K. Rajagopal , C. Ratti , K. F. Read , R. Reed , D. G. Richards , C. Riedl , F. Ringer , T. Rinn , J. Rittenhouse West , J. Roche , A. Rodas , G. Roland , F. Romero-López , P. Rossi , T. Rostomyan , L. Ruan , O. M. Ruimi , N. R. Saha , N. R. Sahoo , T. Sakaguchi , F. Salazar , C. W. Salgado , G. Salmè , S. Salur , S. N. Santiesteban , M. M. Sargsian , M. Sarsour , N. Sato , T. Satogata , S. Sawada , T. Schäfer , B. Scheihing-Hitschfeld , B. Schenke , S. T. Schindler , A. Schmidt , R. Seidl , M. H. Shabestari , P. E. Shanahan , C. Shen , T. -A. Sheng , M. R. Shepherd , A. M. Sickles , M. D. Sievert , K. L. Smith , Y. Song , A. Sorensen , P. A. Souder , N. Sparveris , S. Srednyak , A. G. Stahl Leiton , A. M. Stasto , P. Steinberg , S. Stepanyan , M. Stephanov , J. R. Stevens , D. J. Stewart , I. W. Stewart , M. Stojanovic , I. Strakovsky , S. Strauch , M. Strickland , D. Sunar Cerci , M. Suresh , B. Surrow , S. Syritsyn , A. P. Szczepaniak , A. S. Tadepalli , A. H. Tang , J. D. Tapia Takaki , T. J. Tarnowsky , A. N. Tawfik , M. I. Taylor , C. Tennant , A. Thiel , D. Thomas , Y. Tian , A. R. Timmins , P. Tribedy , Z. Tu , S. Tuo , T. Ullrich , E. Umaka , D. W. Upton , J. P. Vary , J. Velkovska , R. Venugopalan , A. Vijayakumar , I. Vitev , W. Vogelsang , R. Vogt , A. Vossen , E. Voutier , V. Vovchenko , A. Walker-Loud , F. Wang , J. Wang , X. Wang , X. -N. Wang , L. B. Weinstein , T. J. Wenaus , S. Weyhmiller , S. W. Wissink , B. Wojtsekhowski , C. P. Wong , M. H. Wood , Y. Wunderlich , B. Wyslouch , B. W. Xiao , W. Xie , W. Xiong , N. Xu , Q. H. Xu , Z. Xu , D. Yaari , X. Yao , Z. Ye , Z. H. Ye , C. Yero , F. Yuan , W. A. Zajc , C. Zhang , J. Zhang , F. Zhao , Y. Zhao , Z. W. Zhao , X. Zheng , J. Zhou , M. Zurek

Proceedings 8th International Workshop on Developments in Computational Models

The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their…

Logic in Computer Science · Computer Science 2014-04-01 Benedikt Löwe , Glynn Winskel

Gauge Theory and String Theory; An Introduction to the AdS/CFT Correspondence

Plenary talk at the conference, LATTICE 99, held in Pisa, Itay from June 29 to July 3, 1999.

High Energy Physics - Lattice · Physics 2015-06-25 Hirosi Ooguri

Proceedings 8th International Workshop on Security Issues in Concurrency

This volume contains the proceedings of the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite workshop of CONCUR'10. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2011-02-28 Konstantinos Chatzikokolakis , Véronique Cortier

Evo* 2020 -- Late-Breaking Abstracts Volume

This volume contains the Late-Breaking Abstracts submitted to the Evo* 2020 Conference, that took place online, from 15 to 17 of April 2020. These papers where presented as short talks and also at the poster session of the conference…

Neural and Evolutionary Computing · Computer Science 2020-05-18 A. M. Mora , A. I. Esparcia-Alcázar

Proceedings of the 20th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2025)

This volume presents the proceedings of the 20th International Conference on Knowledge, Information and Creativity Support Systems (KICSS 2025), held in Nagaoka, Japan, on December 3-5, 2025. The conference, organized in cooperation with…

Artificial Intelligence · Computer Science 2025-12-25 Edited by Tessai Hayama , Takayuki Ito , Takahiro Uchiya , Motoki Miura , Takahiro Kawaji , Takaya Yuizono , Atsuo Yoshitaka , Tokuro Matsuo , Shun Okuhara , Jawad Haqbeen , Sofia Sahab , Wen Gu , Shiyao Ding