Activities in the Division of Theory and Foundations (FoCS)

DIMAP

The Division of Theory and Foundations (FoCS) is the core group affiliated with the interdisciplinary Centre for Discrete Mathematics and its Applications (DIMAP) at the University of Warwick.

Recent Prizes and Awards

Sayan Bhattacharya has been awarded an EPSRC grant EP/S03353X/1 »Theory and Applications of Dynamic Algorithms«.
Ranko Lazic, in a joint work with Wojciech Czerwinski, Slawomir Lasota, Jerome Leroux and Filip Mazowiecki, is a co-winner of the Best Paper STOC'2019 Award for his paper The Reachability Problem for Petri Nets is Not Elementary.
- This work shows that the central verification problem for Petri nets is much harder than has been known since the landmark result of Richard Lipton in 1976. Petri nets, also known as vector addition systems, are a long established model of concurrency with extensive applications in modelling and analysis of hardware, software and database systems, as well as chemical, biological and business processes.
Artur Czumaj has been elected to join the EATCS Council in Fall 2017.
Artur Czumaj has been awarded the 2017 IBM Faculty Award.
Marcin Jurdzinski has been awarded an EPSRC grant EP/P020992/1 »Solving Parity Games in Theory and Practice« (Ranko Lazic is the Co-PI).
Artur Czumaj has been awarded an EPSRC grant EP/N011163/1 »Sublinear Algorithms for Big Graphs«.
Ranko Lazic has been awarded an EPSRC grant EP/M011801/1 »Counter Automata: Verification and Synthesis« (Marcin Jurdzinski is the Co-PI).
Graham Cormode and Dan Král' have been awarded two very prestiguous Consolidator Grants from the European Research Council (ERC). ERC Consolidator Grants are funding 372 top mid-career scientists with €713 million to pursue their best ideas, as part of the European Union Research and Innovation programme Horizon 2020. The funding will enable them to consolidate their research teams and to develop their most innovative ideas.
- Graham Cormode has been awarded an ERC Consolidator grant for a project entitled "Small Summaries for Big Data". The project focuses on the area of the design and analysis of compact summaries: data structures which capture key features of the data, and which can be created effectively over distributed data sets. The project will substantially advance the state of the art in data summarization, to the point where accurate and effective summaries are available for a wide array of problems, and can be used seamlessly in applications that process big data.
- Dan Král' has been awarded an ERC Consolidator grant for a project entitled "Large Discrete Structures". The project will advance theory of combinatorial limits, which combines methods from analysis, combinatorics, computer science, group theory and probability theory to analyze and approximate large discrete structures (such as graphs, which can be used to represent large computer networks). The project will lead to proposing new mathematical methods to represent such discrete structures and to applications of the new methods to specific problems in extremal combinatorics and algorithm design.
Artur Czumaj has been elected a Fellow of the European Association for Theoretical Computer Science (EATCS) (class 2015). Awarded in recognition for "contributions to analysis and design of algorithms, especially to understanding the role of randomization in computer science." The EATCS Fellows Program was established to recognize outstanding EATCS Members for their scientific achievements in the field of Theoretical Computer Science. The Fellow status is conferred by the EATCS upon a person having a track record of intellectual and organizational leadership. Fellows are expected to be "model citizens" of the TCS community, helping to develop the standing of TCS beyond the frontiers of the community.
Graham Cormode has been awarded a Royal Society Wolfson Research Merit Award, one of the most prestigious UK awards, supported by the Royal Society, the UK's national academy of science. Jointly funded by the Wolfson Foundation and the Department for Business, Innovation and Skills (BIS), the scheme aims to provide universities with additional support to enable them to attract science talent from overseas and retain respected UK scientists of outstanding achievement and potential. Graham's research will focus on "Small summaries for big data".
Dan Král' has been awarded a Philip Leverhulme Prize for his work on combinatorial limits. Philip Leverhulme Prize is awarded to outstanding scholars who have made a substantial and recognised contribution to their particular field of study, recognised at an international level, and where the expectation is that their greatest achievement is yet to come.
Our PhD student, Lukás Mach, was awarded an IPEC 2013 Excellent Student Paper Award for his paper "Amalgam width of matroids" (joint work with Tomas Toufar).
Marcin Jurdziński (jointly with John Fearnley) won the best paper award at ICALP 2013 (Track B), for the paper "Reachability in Two-Clock Timed Automata is PSPACE-complete".
Maxim Sviridenko received a Royal Society Wolfson Research Merit Award, one of the most prestigious UK awards, supported by the Royal Society, the UK's national academy of science. The scheme provides up to 5 years’ funding after which the award holder continues with a permanent post at the host university. Jointly funded by the Wolfson Foundation and the Department for Business, Innovation and Skills (BIS), the scheme aims to provide universities with additional support to enable them to attract to this country or to retain respected scientists of outstanding achievement and potential. Maxim will be working on a project entitled "Randomized Rounding Algorithms in Discrete Optimization".
Prof Daniel Král', who joined the group in October 2012, is the recipient of the ERC Starting Grant 2010 for his project »Classes of Combinatorial Objects - from Structure to Algorithms«. ERC Starting Grant is one of the most prestigious grants awarded by the European Research Council for world-class researchers, and Dan is one of the very few discrete maths researchers in Europe to receive this grant.
Amin Coja-Oghlan was awarded the ERC Starting Grant in September 2011. ERC Starting Grant is one of the most prestigious grants awarded by the European Research Council for world-class researchers, and Amin is one of the very few researchers in Warwick to receive this grant. His new ERC Starting Grant, worth over a million of euros for the period of five years, has been awarded for his project »Phase Transitions and Computational Complexity«.
Amin Coja-Oghlan was awarded the EATCS Award for the Best Paper in Track A at the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009) for his paper »A better algorithm for random k-SAT«.
EATCS Distinguished Award 2006: In recognition of his outstanding scientific contributions to Theoretical Computer Science, Mike Paterson received the EATCS Distinguished Award 2006. The award was presented to Mike by the European Association for Theoretical Computer Science during the ICALP 2006 conference in Venice, July 2006, to acknowledged his »extensive and widely recognised contributions to theoretical computer science over a life long scientific career«.
Mike Paterson was awarded the EATCS Award for the Best Paper in Track A at the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006) for his paper (co-authored by Martin Dyer (University of Leeds) and Leslie Ann Goldberg (University of Liverpool)) »On counting homomorphisms to directed acyclic graphs«.
The Mathematical Association of America has awarded Mike Paterson and his collaborator Uri Zwick the Lester R. Ford Award for their article Overhang in the American Mathematical Monthly. The problem of how far off the edge of a table one can reach by stacking n identical blocks first appeared in the American Mathematical Monthly in 1923. A classical solution achieving an overhang logarithmic in n was widely believed to be optimal. The article clarifies the problem and shows that the overhang can be made exponentially larger than this.
The Mathematical Association of America has awarded its 2011 David Robbins Prize for the two papers: “Overhang” by Mike Paterson and Uri Zwick (Tel Aviv University) and “Maximum Overhang” by Mike Paterson, Yuval Peres (Microsoft Research), Mikkel Thorup (AT&T), Peter Winkler (Dartmouth), and Uri Zwick.
The prize, presented on 7 January 2011 at the AMS-MAA Joint Mathematics Meetings in New Orleans, is given every three years for papers reporting on novel research in algebra, combinatorics, or discrete mathematics. Both papers appeared in 2009 in the American Mathematical Monthly.
In October 2009, the Royal Society awarded a prestigious Leverhulme Trust Senior Research Fellowship to Dr. Alexander Tiskin, for his research on the communication and synchronisation efficiency of parallel algorithms, and advanced methods of approximate comparison and matching in strings.
Harry Räcke is a co-winner of the Best Paper STOC'2008 award for his paper "Optimal hierarchical decompositions for congestion minimization in networks" (see the abstract for more details about this excellent paper).
The 40th STOC'2008 conference, held in May 17-20, 2008 in Victoria, Canada, is one of the two most prestigious conferences in Theoretical Computer Science. The main criterion for selection is the same as for being a top-rated paper in STOC: introduction of a strong new technique, solution of a long-standing open problem, or introduction and solution of an interesting and important new problem.

This is Harry's second best paper award on STOC/FOCS; in FOCS'2002, he was a sole winner of the best paper award and the winner of the best student paper award for his breakthrough paper "Minimizing congestion in general networks."
DIMAP: Artur Czumaj is the Principal Investigator and Graham Cormode is the Co-PI of the EPSRC grant EP/D063191/1to support the DIMAP, the Centre for Discrete Mathematics and its Applications that has been established in June 2006 by the University of Warwick. Artur Czumaj is also the Director of the DIMAP Centre. All members of the Foundations of Computer Science Group are involved in the activities of the DIMAP. DIMAP builds on a collaboration between the Foundations of Computer Science Group within the Department of Computer Science, the Warwick Mathematics Institute, and the Operational Research and Information Systems group in the Warwick Business School.
Graham Cormode received Microsoft EMEA Scholarship in Algorithms for Massive Data Analysis.
Graham Cormode received Yahoo Faculty Research and Engagement Program Award.
Maxim Sviridenko received EPSRC grant »Probabilistic Rounding Algorithms for Mathematical Programming«.
Maxim Sviridenko received an FP7 EU Career Integration Grant »Randomized Rounding Algorithms in Discrete Optimization and Mathematical Programming«.
Andrzej Murawski received EPSRC grant »Game Semantics for Java Programs«.
Amin Coja-Oghlan received EPSRC grant »Random Structures, Spin Glasses and Efficient Algorithms«.
Artur Czumaj received an EPSRC grant »Efficient Decentralised Approaches in Algorithmic Game Theory«.
Artur Czumaj received an EPSRC grant »Advances in Sublinear Algorithms«.
Marcin Jurdziński received an EPSRC grant »Games for Quantitative Analysis of Real Time Systems«.
Amin Coja-Oghlan, Artur Czumaj, and Harry Räcke (jointly with Uri Feige and Robert Krauthgamer) received a Weizmann-UK Making Connections Grant »The Interplay between Algorithms and Randomness«.
Rahul Savani spent three years in FoCS as the recipient of the prestigious EPSRC Postdoctoral Research Fellowship in Theoretical Computer Science. The fellowship has been awarded to enable talented young researchers to establish an independent research career directly or shortly after completing their PhD. The title of the grant: »Algorithms for Computing Equilibria in Games«.
Matthias Englert is the recipient of the prestigious EPSRC Postdoctoral Research Fellowship in Theoretical Computer Science. The fellowships, which last three years, are awarded to enable talented young researchers to establish an independent research career directly or shortly after completing their PhD. The title of the grant: »Randomisation in Online Algorithms, Load Balancing and other Dynamic Problems«.
Benjamin Sach is the recipient of the prestigious EPSRC Postdoctoral Research Fellowship in Theoretical Computer Science. The fellowships, which last three years, are awarded to enable talented young researchers to establish an independent research career directly or shortly after completing their PhD. The title of the grant: »Pattern Matching Algorithms for Streaming Data«.
Mike Paterson has been selected to join the Scientific Advisory Board of the Simons Institute for the Theory of Computing.

Seminars

The main seminar of the FoCS Group is the DIMAP Seminar Series.
FoCS members are heavily involved in Big Data events in Mathematical Sciences.
FoCS members frequently attend Combinatorics Seminar.
We use to organize also the Algorithms Seminar, though in recent years it's a part of the DIMAP Seminar Series.

Workshops and Conferences

Artur Czumaj chairs the PC of track A of the 47th International Colloquium on Automata, Languages and Programming (ICALP'2020), July 7 - 11, 2020, Beijing, China.
Tom Gur is serving on the Program Committee of the 11th Innovations in Theoretical Computer Science conference (ITCS 2020), University of Washington, Seattle, January 2020.
Graham Cormode, Artur Czumaj, and Tom Gur are co-organizers of the 4th AlgoUK workshop, taking place at DIMAP, University of Warwick, September 17 - 18, 2019.
Sayan Bhattacharya and Ramanujan Sridharan are PC members of the 46th International Colloquium on Automata, Languages and Programming (ICALP'2019), July 8 - 12, 2019, Patras, Greece.
Ranko Lazic is a PC member of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'2019), June 24 - 27, 2019, Vancouver, Canada.
Sayan Bhattacharya and Artur Czumaj were co-organizers (together with Robert Krauthgamer and Merav Parter) of the Weizmann-Warwick Workshop 2019, May 13 - 17, 2019, University of Warwick.
Sayan Bhattacharya, Artur Czumaj Matthias Englert, and Ramanujan Sridharan co-organized DIMAP Workshop on Advances in Modern Graph Algorithms, April 8 - 11, 2019, Venice, Italy.
Sayan Bhattacharya and Artur Czumaj were co-organizers (together with Robert Krauthgamer and Merav Parter) of the Weizmann-Warwick Workshop 2018, Weizmann Institute of Science, Israel, December 9 - 13 - 17, 2018.
Artur Czumaj co-organized (jointly with Robert Krauthgamer (Weizmann Institute), Aarti Singh (Carnegie Mellon University), and Rachel A. Ward (University of Texas at Austin)) Workshop on Sublinear Algorithms and Nearest-Neighbor Search, November 27 - 30, 2018, Simons Institute for the Theory of Computing, as a part of Simons Institute Special Semester on Foundations of Data Science, August 15 - December 14, 2018
Marcin Jurdzinski was the PC Chair of Highlights of Logic, Games and Automata 2018, Berlin, September 17-21, 2018.
Graham Cormode and Artur Czumaj co-organized Workshop on Data Summarization, March 19 - 22, 2018, University of Warwick.
Artur Czumaj was the PC Chair of the 29th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'2018), January 7 - 10, 2018, New Orleans.
Artur Czumaj was the PC Chair of Highlights of Algorithms 2016 (HALG 2016), Paris, June 6 - 8, 2016.
Artur Czumaj co-organized (jointly with Patrick Wolfe (UCL), Natalia Bochkina (Edinburgh), Jon Crowcroft (Cambridge), Richard Gibbens (Cambridge), Peter Grindrod (Oxford), and Mark Handley (UCL)) Alan Turing Institute scoping workshop on Networks & Big Data, December 18, 2015.
Artur Czumaj co-organized (jointly with Peter Richtarik (Edinburgh), Ilias Diakonikolas (Edinburgh), Raphael Hauser (Oxford), Mark Girolami (Warwick), John Shawe-Taylor (UCL)) Alan Turing Institute scoping workshop on Distributed Machine Learning and Optimization, Edinburgh, November 25 - 27, 2015.
Artur Czumaj co-organized (jointly with Faron Moller) the London Mathematical Society Computer Science Colloquium 2015 (on Algorithms and Cryptography), The Royal Society, London, September 17, 2015.
Artur Czumaj and Dan Král' co-organized (jointly with Agelos Georgakopoulos, Vadim Lozin (chair), and Oleg Pikhurko) the 25th British Combinatorial Conference (BCC), University of Warwick, July 2015.
Dan Král' co-organized (jointly with Peter Keevash (Oxford), Oleg Pikhurko (Warwick), and Nick Woodhouse (CMI)) the LMS-CMI Research School on Regularity and Analytic Methods in Combinatorics, University of Warwick, July 2015.
Marcin Pilipczuk co-organized School on Parameterized Algorithms and Complexity, Będlewo, Poland, August 17 - 22, 2014.
Artur Czumaj organized DIMAP Algorithms Day 2014, DIMAP, University of Warwick, May 21, 2014.
Artur Czumaj co-organized (jointly with Aleksander Mądry and Piotr Sankowski) the 1st European Meeting on Algorithmic Challenges of Big Data (ACBD 2014), Warsaw, Poland, May 5 - 7, 2014.
Graham Cormode organized Workshop on Big Data in the Mathematical Sciences, November 13, 2013, University of Warwick.
Artur Czumaj co-organized (jointly with Milan Vojnovic and Jingren Zhou) the Big Data Analytics 2013, May 23-24, 2013, Microsoft Research, Cambridge, UK.
Artur Czumaj co-organized (jointly with Aleksander Mądry) the Algorithmic Meeting, EPFL Lausanne, February 11 - 13, 2013.
Artur Czumaj and Matthias Englert were co-organizers (together with Uri Feige and Robert Krauthgamer) of the Weizmann-Warwick Workshop 2012, Eilat, Israel, September 10 - 13, 2011.
Marcin Jurdziński co-organized the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012), Imperial College London, 18 - 20 September 2012.
The FoCS Group together with Centre for Discrete Mathematics and its Applications (DIMAP) organized the 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), University of Warwick, July 9 - 13, 2012.
Amin Coja-Oghlan, Artur Czumaj, and Matthias Englert were co-organizers (together with Uri Feige and Robert Krauthgamer) of the Weizmann-Warwick Workshop 2011, University of Warwick, September 12 - 16, 2011.
Artur Czumaj was a co-organizer (together with Piotr Indyk, Robert Krauthgamer, and Ronitt Rubinfeld) of the Bertinoro Workshop on Sublinear Algorithms, Bertinoro, Italy, May 22 - 27, 2011.
Amin Coja-Oghlan, Artur Czumaj, and Harry Räcke co-organized (together with Uri Feige and Robert Krauthgamer) the Weizmann-Warwick Workshop 2010, Weizmann Institute of Science, Israel, December 5 - 9, 2010.
Artur Czumaj, Jan Hladký, and Diana Piguet were organizing the Workshop on Extremal and Probabilistic Combinatorics, July 18 - 25, 2010, Wetherdown Hostel, Petersfield, Hampshire, England.
Artur Czumaj, Matthias Englert, and Harry Räcke were organizing the DIMAP Summer School on Approximation and Randomized Algorithms, DIMAP, University of Warwick, July 12 - 16, 2010.
Artur Czumaj and Harry Räcke were co-organizers of Mike's Mini-workshop on Algorithms, a workshop to honor Mike Paterson's numerous contributions to theoretical computer science, the University of Warwick, and DIMAP. The workshop was organized jointly by the Centre for Discrete Mathematics and its Applications (DIMAP) and the Algorithms and Computational Complexity Research Group at the Department of Computer Science, University of Warwick, December 14, 2009.
Artur Czumaj was a co-organizer (together with Sara Kalvala and Steve Matthews) of the 25th British Colloquium for Theoretical Computer Science (BCTCS 2009), University of Warwick, April 6 - 9, 2009.
The Algorithms and Computational Complexity Research Group together with Centre for Discrete Mathematics and its Applications (DIMAP) organized the DIMAP Algorithms Day, University of Warwick, October 24, 2008.
Artur Czumaj was a co-organizer (together with Leslie Ann Goldberg (University of Liverpool) and Uri Zwick (Tel Aviv University)) Mike66, a workshop in honour of Professor Mike Paterson's 66th birthday, DIMAP, University of Warwick, September 18 - 19, 2008.
Artur Czumaj was a co-organizer (together with S. Muthu Muthukrishnan (google Research), Ronitt Rubinfeld (MIT), and Christian Sohler (University of Bonn)) of Dagstuhl Seminar 08341 Sublinear Algorithms, that will be held in the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, August 17 - 22, 2008.
Haris Aziz was the main organizer of the 19th Postgraduate Combinatorial Conference (PCC 2008), DIMAP, University of Warwick, July 21 - 23, 2008.
Artur Czumaj and Harry Räcke were co-organizers (together with Anupam Gupta (CMU), Stefano Leonardi (Universita' di Roma "La Sapienza"), and R. Ravi (CMU)) of the 3rd Research Workshop on Flexible Network Design, DIMAP, University of Warwick, July 13 - 16, 2008.
Marcin Jurdziński was a co-organizer (together with Jean-Jacques Herings (Maastricht University), Peter Bro Miltersen (University of Aarhus), Éva Tardos (Cornell), and Bernhard von Stengel (London School of Economics)) of Dagstuhl Seminar 07471 Equilibrium Computation, that will be held in the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, November 18 - 23, 2007.
Together with the Centre for Discrete Mathematics and its Applications (DIMAP), the Algorithms and Computational Complexity Research Group organized the Workshop on Algorithmic Game Theory, University of Warwick, March 25 - 28, 2007.
Artur Czumaj was a co-organizer (together with Friedhelm Meyer auf der Heide (University of Paderborn), Klaus Jansen (University of Kiel), and Ingo Schiermeyer (University of Freiberg)) of Oberwolfach Workshop on Algorithmic Graph Theory, that was held in the Mathematisches Forschungsinstitut Oberwolfach, Germany, February 12 - 18, 2006.
Artur Czumaj was a co-organizer (together with S. Muthu Muthukrishnan (google Research), Ronitt Rubinfeld (MIT), and Christian Sohler (University of Paderborn)) of Dagstuhl Seminar 05291 Sublinear Algorithms, that was held in the International Conference and Research Center for Computer Science, Schloss Dagstuhl, Germany, July 17 - 22, 2005.

Recent Activities/News

In January 2020, Alexander Kozachinskiy joined FoCS as a Postdoctoral Research Fellow.
In September 2018, Peter Davies joined FoCS as a Postdoctoral Research Fellow.
In September 2018, Dr Dominik Kempa joined FoCS as a Postdoctoral Research Fellow.
In September 2017, Dr Laure Daviaud joined FoCS as a Postdoctoral Research Fellow.
In March 2016, Dr Filip Mazowiecki joined FoCS as a Postdoctoral Research Fellow.
In October 2015, Dr Hossein Jowhari joined FoCS as a Postdoctoral Research Fellow.
In October 2015, Dr Golnaz Badkobeh joined FoCS as a Leverhulme Early Career Fellow.
In January 2015, Dr Patrick Totzke joined FoCS as a Postdoctoral Research Fellow.
In October 2014, Dr Ping Hu joined FoCS as a Postdoctoral Research Fellow.
In August 2014, Dr Marcin Pilipczuk joined FoCS as a Postdoctoral Research Fellow.
In October 2013, Dr Alina Ene joined FoCS as an Assistant Professor.
In October 2013, Dr Anita Liebenau joined FoCS as a Postdoctoral Research Fellow.
In May 2013, Dr Graham Cormode joined FoCS as a Professor.
In January 2013, Dr Andrzej Murawski joined FoCS as an Associate Professor.
In November 2012, Dr Justin Ward joined FoCS as a Postdoctoral Research Fellow.
In October 2012, Dr Daniel Král' joined FoCS as a Professor.
In October 2012, Dr Stanislav Živný joined FoCS as a Postdoctoral Research Fellow.
In October 2012, Michail Fasoulakis joined FoCS as a DIMAP PhD student.
In October 2012, Lukás Mach joined FoCS as a PhD student (via Dan Král').
In September 2012, Michał Adamaszek successfully passed his viva and graduated (PhD supervisor: Artur Czumaj and J. Jones).
In August 2012 Anna Adamaszek successfully passed her viva and graduated (PhD supervisor: Artur Czumaj).
In January 2012, Dr Maxim Sviridenko joined FoCS as a Professor.
In October 2011, Nicolaos Matsakis joined FoCS as a DIMAP PhD student.
In September 2011, Dr Matthias Englert (already a member of FoCS) has been appointed as an Assistant Professor.
In September 2011, Dr Christine Zarges joined FoCS as a Postdoctoral Research Fellow.
In August 2011, Jan Hladký successfully passed his viva and graduated (PhD supervisor: Artur Czumaj).
In July 2011, Andrew Handley joined FoCS as a Postdoctoral Research Fellow.
In early 2011, Dr Benjamin Sach joined for 3 years FoCS as a Postdoctoral Research Fellow. Ben's fellowship is supported by an EPSRC grant »Pattern Matching Algorithms for Streaming Data«
In spring 2011, John Fearnley successfully passed his viva and graduated (PhD supervisor: Marcin Jurdziński).
In autumn 2010, Peter Krusche successfully passed his viva and graduated (PhD supervisor: Alexander Tiskin).
In October 2010, Chintan Shah joined FoCS as a DIMAP PhD student.
In early 2010, Dr A.Y. Pachón Pinzón joined FoCS as a Postdoctoral Researcher.
In January 2010, Dr Amin Coja-Oghlan joined FoCS as an Associate Professor (Reader).
In January 2010, Dr Troels Bjerre Sørensen joined FoCS as a DIMAP Postdoctoral Researcher.
In January 2010, Dr Charilaos Efthymiou joined FoCS as a Postdoctoral Researcher.
In October 2009, Dr Rajiv Raman joined FoCS as a DIMAP Postdoctoral Researcher.
In October 2009, Dr Diana Piguet joineded FoCS as a DIMAP Postdoctoral Researcher.
In October 2009, Matthew Felice Pace joined FoCS as a DIMAP PhD student.
In October 2009, Ebrahim Ardeshir joined FoCS as a DIMAP PhD student.
In October 2009, Jan Hladky joined FoCS as a DIMAP PhD student.
In September 2008, Anna Adamaszek joined FoCS as a DIMAP PhD student.
In September 2008, Dr Matthias Englert joined FoCS as a Postdoctoral Research Fellow. Matthias' fellowship is supported by an EPSRC grant »Randomisation in Online Algorithms, Load Balancing and other Dynamic Problems«.
In August 2007, Dr Oded Lachish joined FoCS as a DIMAP Postdoctoral Researcher.
In May 2007, Dr Harry Räcke joined FoCS as a DIMAP Assistant Professor.
In October 2006, Dr Rahul Savani joined for 3 years FoCS as a Postdoctoral Research Fellow. Rahul's fellowship was supported by an EPSRC grant »Algorithms for Computing Equilibria in Games«.

Marcin Jurdzinski is on the Program Committee of the 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), Warsaw, Poland, October 2018.
Marcin Jurdzinski is on the Program Committee of the 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Bar-Ilan, Israel, April 2018.
Marcin Jurdzinski is on the Program Committee of the 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Mons, Belgium, October 2017.
Dr Alina Ene, Daniel Král', and Dr Marcin Pilipczuk are in the Program Committee of the 26th ACM-SIAM Symposium on Discrete Algorithms (SODA'2015), San Diego, California, January 2015.
Artur Czumaj and Dr Maxim Sviridenko are in the Program Committee of the 25th ACM-SIAM Symposium on Discrete Algorithms (SODA'2014), Portland, Oregon, January 2014.
Artur Czumaj is in the Program Committee of the 39th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'2013), Lübeck, Germany, June 2013.
Artur Czumaj and Graham Cormode are in the Program Committee of the 45th ACM Symposium on Theory of Computing (STOC'2013), Palo Alto, California, June, 2013.
Artur Czumaj is in the Program Committee of the 30th Symposium on Theoretical Aspects of Computer Science (STACS'2013), Kiel, Germany, February/March 2013.
Matthias Englert was in the Program Committee of the 20th Annual European Symposium on Algorithms (ESA'2012) track A, Ljubljana, Slovenia, September 2012.
Artur Czumaj was in the Program Committee of the 37th International Symposium on Mathematical Foundations of Computer Science (MFCS'2012), Bratislava, Slovakia, August 2012.
Amin Coja-Oghlan was in the Program Committee of the 39th International Colloquium on Automata, Languages and Programming (ICALP'2012), track A, University of Warwick, UK, July 2012.
Amin Coja-Oghlan was in the Program Committee of the 13th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT'2012), Helsinki, Finland, July 2012.
Harry Räcke was in the Program Committee of the 36th International Symposium on Mathematical Foundations of Computer Science (MFCS'2011), Warsaw, Poland, August 2011.
Harry Räcke was in the Program Committee of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC'2011), San Jose, California, USA, June 2011.
Harry Räcke was in the Program Committee of the 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA'2011), San Francisco, California, USA, January 2011.
Artur Czumaj was in the Program Committee of the 22nd ACM-SIAM Symposium on Discrete Algorithms (SODA'2011), San Francisco, California, USA, January 2011.
Amin Coja-Oghlan was in the Program Committee of 37th International Colloquium on Automata, Languages and Programming (ICALP'2010), track A, Bordeaux, France, July 2010.
Artur Czumaj was in the Program Committee of 24th IEEE International Parallel & Distributed Processing Symposium (IPDPS'2010), Atlanta, Georgia, USA, April 2010.
Mike Paterson was in the Program Committee of the 8th th Latin American Theoretical Informatics Symposium (LATIN'2010), Oaxaca, Mexico, April 2010.
Artur Czumaj was in the Program Committee of 5th Workshop on Internet & Network Economics (WINE'2009), Rome, Italy, December 2009.
Artur Czumaj was in the Program Committee of 5th Symposium on Stochastic Algorithms, Foundations and Applications (SAGA'2009), Sapporo, Japan, October 2009.
Artur Czumaj was in the Program Committee of 12th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX'2009), Berkeley, USA, August 2009.
Harry Räcke was in the Program Committee of the 36th International Colloquium on Automata, Languages and Programming (ICALP'2009), Track C, Rhodos, Greece, July 5 - 12, 2009.
Harry Räcke was in the Program Committee of the 26th International Symposium on Theoretical Aspects of Computer Science (STACS'2009), Freiburg, Germany, February 26 - 28, 2009.
Artur Czumaj was in the Program Committee of the Game Theoretic Aspects of E-commerce Track at the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'2009), Spindleruv mlyn, Czech Republic, January 24 - 30, 2009.
Artur Czumaj was in the Program Committee of the 49th Annual Symposium on Foundations of Computer Science (FOCS'2008), Philadelphia, PA, USA, October 26 - 28, 2008.
Harry Räcke was in the Program Committee of the 49th Annual Symposium on Foundations of Computer Science (FOCS'2008), Philadelphia, PA, USA, October 26 - 28, 2008.
Mike Paterson was in the Program Committee of the 16th Annual European Symposium on Algorithms (ESA'2008), Karlsruhe, Germany, September 15 - 17, 2008.
Artur Czumaj was in the Program Committee of the 35th International Colloquium on Automata, Languages and Programming (ICALP'2008), Track A, Reykjavik, Iceland, July 6 - 13, 2008.
Artur Czumaj was in the Program Committee of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science (WG'2008), Durham University, UK, June 30 - July 2, 2008.
Artur Czumaj was in the Program Committee of the International Symposium on Combinatorial Optimization 2008 (CO'2008), University of Warwick, UK, March 16 - 19, 2008.
Artur Czumaj was in the Program Committee of the 15th Annual European Symposium on Algorithms (ESA'2007), Track A, Eilat, Israel, October 8 - 10, 2007.
Artur Czumaj was in the Program Committee of the 39th ACM Symposium on Theory of Computing (STOC'2007), San Diego, CA, USA, June 11 - 13, 2007, part of the 2007 Federated Computing Research Conference (FCRC).
Mike Paterson was in the Program Committee of the 1st International Symposium on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies (ESCAPE'2007), Zhejiang University, Hangzhou, China, April 7 - 9, 2007.

Marcin Jurdzinski has given an invited talk at the 12th International Conference on Reachability Proglems (RP 2018), Marseille, France, September 2018.
Marcin Jurdzinski has given an invited tutorial at the 13th Summer School on Modelling and Verification of Parallel Processes (MOVEP 2018), ENS Paris-Saclay, Cachan, France, July 2018.
Marcin Jurdzinski has given an invited tutorial at the 6th International Workshop on Strategic Reasoning, Oxford, July 2018.
Marcin Jurdzinski has given a talk at an Invited Session on Stochastic Games at the 23rd International Symposium on Mathematical Programming, Bordeaux, France, July 2018.
Marcin Jurdzinski has given an invited tutorial at PhD Open, Warsaw, Poland, March 2018.
Graham Cormode was one of the invited spoeakers a Summer School on Hashing and Applications, July 2014.
Graham Cormode delivered Sampling for Big Data tutorial at KDD 2014.
Artur Czumaj was an invited speaker at the 1st Mediterranean Conference on Algorithm (MedAlg'2012), Ein Gedi, Israel, December 2012.
Standa Zivny was an invited speaker at the the RIMS (Research Institute for Mathematical Sciences) Workshop on Discrete Convexity at Kyoto University, 2012.
Artur Czumaj and Matthias Englert gave invited presentations at the 5th Research Workshop on Flexible Network Design, July 23 - 27, 2012, Warsaw, Poland.
Artur Czumaj was an invited speaker at the London Colloquia in Combinatorics, London, LSE, May 2012.
Artur Czumaj was an invited speaker at the launch of the Centre for Discrete Mathematics at Queen Mary, University of London, December 7, 2011.
Matthias Englert gave an invited presentation at the DIMACS Workshop on Competitive Algorithms for Packet Scheduling, Buffering and Routing in the Internet, July 6 - 8, 2011, DIMACS Center, CoRE Building, Rutgers University.
Amin Coja-Oghlan gave an invited presentation at the Dagstuhl seminar No. 11241 »Design and Analysis of Randomized and Approximation Algorithms«, the International Conference and Research Center for Computer Science, Dagstuhl, Germany, June 14 - 17, 2011.
Harry Räcke was an invited speaker at the Workshop on Approximation Algorithms: The Last Decade and the Next, the Center for Computational Intractability, Princeton, NJ, USA, June 13 - 17, 2011.
Artur Czumaj was an invited speaker at the 18th Annual European Symposium on Algorithms (ESA 2010), Liverpool, UK, September 6 - 8, 2010.
Artur Czumaj and Alexander Tiskin gave invited presentations at the Bristol Algorithms Days 2010, Feasibility Workshop, February 15 - 16, 2010, University of Bristol, Bristol, UK.
Artur Czumaj was an invited speaker at the ITCS mini-workshop on Property Testing, ITCS, Tsinghua University, Beijing, China, January 8 - 10, 2010 (see also here).
Artur Czumaj was a keynote speaker at the 3rd Workshop on Theory of Randomized Search Heuristics, Birmingham, UK, October 19 - 20, 2009.
Artur Czumaj gave an invited presentation at the Workshop I: Probabilistic Techniques and Applications, in the Special Program on Combinatorics: Methods and Applications in Mathematics and Computer Science, Institute for Pure and Applied Mathematics (IPAM), Los Angeles, October 5 - 9, 2009.
Artur Czumaj and Harry Räcke gave invited presentations at the Bristol Algorithms Days, May 11 - 12, 2009, University of Bristol, Bristol, UK.
Marcin Jurdziński gave an invited presentation at the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2009), Spindleruv mlyn, Czech Republic, January 24 - 30, 2009.
Artur Czumaj gave an invited presentation/tutorial at the 2nd Polish Combinatorial Conference, Bedlewo, October 17 - 23, 2008.
Harry Räcke gave an invited presentation at the 11th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX 2008), MIT, Boston, USA, August 25 - 27, 2008.
Artur Czumaj gave an invited presentation at the Liverpool Algorithms Day, University of Liverpool, UK, May 23, 2008.
Artur Czumaj gave an invited presentation at the 24th British Colloquium for Theoretical Computer Science (BCTCS 2008) conference, Durham, UK, April 7 - 10, 2008.
Artur Czumaj and Mike Paterson gave invited presentations at the Bristol Algorithms Days, March 2 - 4, 2008, University of Bristol, Bristol, UK.
Mike Paterson gave an invited presentation at the 3rd Workshop on Algorithms and Complexity in Durham, UK, September 17 - 19, 2007.
Artur Czumaj gave an invited presentation at the Pervasive Adaptive (PERAD 2007), joint FET - EATCS Workshop, Brussels, Belgium, January 26, 2007.
Artur Czumaj was an invited speaker at the Optimization in Complex Networks, Satellite Workshop at European Conference on Complex Systems 2006 (ECCS '06), Said Business School, University of Oxford, UK, September 28 - 29, 2006.