Related papers: Top 2014: Theory Summary
This volume contains the proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL X), which was held July 17-19, 2013 at ICFO in Castelldefels (Barcelona), Spain. The goal of this workshop series is to bring together…
The 14th International Conference Automata and Formal Languages (AFL 2014) was held in Szeged, Hungary, from the 27th to the 29th of May, 2014. The conference was organized by the Department of Foundations of Computer Science of the…
These are the proceedings of the workshop "HadAtom03," held at the European Centre for Theoretical Nuclear Physics and Related Studies (ECT*), Trento (Italy), October 13 - 17, 2003. The main topics discussed at the workshop were the physics…
I present a summary of the experimental talks given at the Photon 2009 conference held at DESY, Hamburg, Germany.
This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing…
These are the expanded and detailed notes of the lectures given by the authors during the school and workshop entitled "Liaison and Related Topics," held at the Politecnico di Torino during the period October 1-5, 2001. In these notes we…
This volume contains the revised versions of papers presented at the Fourth International Workshop on Verification and Program Transformation (VPT 2016) on April 2, 2016 in Eindhoven, The Netherlands. The workshop is an event of the…
This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Grenoble, France, on April 12th 2014, and co-located with…
These are the notes of some lectures given by the author for a workshop held at TIFR, Mumbai in December, 2011, giving an exposition of the Deligne-Lusztig theory.
Summary talk at ICHEP 2002, Amsterdam, July 2002. I have kept very close to the content and style of the talk as it was delivered. You may access the associated PowerPoint presentation through a link at…
This volume contains the proceedings of the Fourth and Fifth International Workshops on Trends in Functional Programming in Education, TFPIE 2015 and TFPIE 2016, which were held on June 2, 2015 in Sophia-Antipolis, France, and on June 7,…
This volume contains the proceedings of the Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012), taking place on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on…
These are notes for a summer course given at the PIMS Summer School on Geometric and Topological Aspects of the Representation Theory of Finite Groups in Vancouver, July 27-30 2016.
Summary talk at the Lepton-Photon Symposium, Cornell University, Aug. 10-15, 1993.
The highlights of the theory developments presented at the Rencontres de Moriond 2018 on QCD and High Energy Interactions are summarised and put into perspective.
These are expended notes of my talk at the summer institute in algebraic geometry (Seattle, July-August 2005), whose main purpose is to present a global overview on the theory of higher and derived stacks. This text is far from being…
I provide a summary of the theoretical talks in Hard Probes 2012 together with some personal thoughts about the present and the future of the field.
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…
The 9th International Workshop on Theorem-Proving Components for Educational Software (ThEdu'20) was scheduled to happen on June 29 as a satellite of the IJCAR-FSCD 2020 joint meeting, in Paris. The COVID-19 pandemic came by surprise,…
This condensed version of chao-dyn/9509010 will be the main hand-out for a course on algorithmic information theory to be given 22-29 May 1996 at the Rovaniemi Institute of Technology, Rovaniemi, Finland (see announcement at…