Related papers: Top 2014: Theory Summary
This volume contains the papers selected among those which were presented at the 3rd International Workshop on Verification and Program Transformation (VPT 2015) held in London, UK, on April 11th, 2015. Previous editions of the Workshop…
I will summarise the new theory developments that emerged during the 2015 QCD Moriond conference. I will give my perspective on some of the topics and emphasise what I consider most relevant.
In view of the European Strategy for Particle Physics process, the French HEP community has organized a national process of collecting written contributions and has pursued a series of workshops culminating with a national symposium held in…
This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International…
The present volume contains the proceedings of the First International Workshop on Graphical Models for Security (GraMSec'14). The workshop was held in Grenoble, France, on April 12, 2014, as one of the satellite events of the European…
This short note provides an overview of some theorems and conjectures obtained by the author and his collaborators. It is an extended abstract for the Oberwolfach workshop "New Trends in Teichm\"uller Theory and Mapping Class Groups", 2…
Lectures at the CRM-CAP Summer School 'Particles and Fields 94' August 16-24 1994, Banff, Alberta, Canada.
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing…
Proceedings of WebAL-1: Workshop on Artificial Life and the Web 2014, held at the 14th International Conference on the Synthesis and Simulation of Living Systems (ALIFE 14), New York, NY, 31 July 2014.
In this article we present the prototype of a workshop on naive set theory designed for high school students in or around the seventh year of primary education. Our concept is based on two events which the author organized in 2006 and 2010…
This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together…
The reports collected in these proceedings have been presented in the third French-Ukrainian workshop on the instrumentation developments for high-energy physics held at LAL, Orsay on October 15-16. The workshop was conducted in the scope…
This file is composed of questions that emerged or were of interest during the workshop "Interactions between Descriptive Set Theory and Smooth Dynamics" that took place in Banff, Canada on 2022.
This is the summary talk of a meeting held at the California Institute of Technology Sept 10-13, 2001. I do not attempt to summarize all the beautiful experimental results we have seen this week, nor to repeat the lively theoretical…
This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with…
This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…
This volume contains the formal proceedings of the Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016), held on 23rd June 2016 in Porto, Portugal, as a satellite event of the First…
This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of…
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…
We recount some of the highlights of the 2003 Moriond Workshop on Electroweak Interactions and Unified Theories.