Related papers: Top 2014: Theory Summary

This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Italy, from 10th to 12th of September 2014. The proceedings of…

These notes reproduce the content of a short, 50-minutes, survey talk given at the Nice University in September, 2004. We added a few topics that have not been touched on in the lecture by lack of time.

This volume represents the proceedings of the 4th annual meetings of the Underrepresented Students in Topology and Algebra Research Symposium (USTARS 2014), held on 11-13 April 2014 in Berkeley, California.

It is a working version of a lecture on the theory of enlargement of filtration, given at the African Mathematic School in Marrakech, October 19-23, 2015.

This is the Proceedings of the Third Workshop on Mobile Security Technologies (MoST) 2014, held in San Jose, CA, USA, on May 17, 2014. The workshop was held as part of the IEEE Computer Society Security and Privacy Workshops, in conjunction…

This is the note for the four lectures given by the author in the ``International Short-School/Conference on Affine Algebraic Geometry and the Jacobian Conjecture" at Chern Institute of Mathematics, Nankai University, Tianjin, China. July…

This report summarizes the activity on comparisons of existings tools for the standard model and on issues in jet physics by the SMHC working group during and subsequent to the Workshop "Physics at TeV Colliders", Les Houches, France, 11-29…

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF…

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 favoring software support for this transition by exploiting the…

This is an expanded version of my talk given at the workshop "Hot Topics: Thin Groups and Super-strong Approximation" (MSRI, Berkeley, February 6-10, 2012).

These notes represent the transcript of three, 90 minute lectures given by the second author at the CRM in Barcelona in 2021 as part of the "Higher Structures and Operadic Calculus" workshop. The goal of the series was to introduce and…

These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2014 in Vienna, Austria, as a satellite workshop of the…

This is a brief summary of the 11th Applied Antineutrino Physics 2015 workshop held at the Virginia Tech Arlington Research Facility from December 7-8, 2015.

This volume contains the proceedings of the 1st International Workshop on Synthesis of Continuous Parameters (SynCoP'14). The workshop was held in Grenoble, France on April 6th, 2014, as a satellite event of the 17th European Joint…

This paper is the write-up version of the theory summary talk given at the HSQCD 2008 Workshop in Gatchina, Russia. Recent theoretical developments and results are summarized focusing on works that point out new perspectives, ranging from…

Lecture notes for the tutorial at the workshop HPOPT 2008 - 10th International Workshop on High Performance Optimization Techniques (Algebraic Structure in Semidefinite Programming), June 11th to 13th, 2008, Tilburg University, The…

This volume contains the formal proceedings of the 5th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018), held on 8th of Juli 2018 in Oxford, United Kingdom, and affiliated with FLoC 2018…

The 7th International Workshop on Theorem proving components for Educational software (ThEdu'18) was held in Oxford, United Kingdom, on 18 July 2018. It was associated to the conference, Federated Logic Conference 2018 (FLoC2018). The major…

This volume contains the proceedings of the Fourth International Workshop on Strategic Reasoning (SR 2016), held in New York City (USA), July 10, 2016. The workshop consisted of 2 keynote talks and 9 contributed presentations on themes of…