Trips 

  A list of various academic and holiday trips.

 2017 
  • 08: Dagstuhl (Germany) #CSP
  • 08: Prague (Czechia)
  • 07: Corsica (France)
  • 03: SFU (Canada) visit
  • 03: Liblice (Czechia) Boolean workshop
  • 03: Edinburgh (UK) visit
 2016 
  • 12: Toulouse (France) visit
  • 11: Berkeley (USA) Simons Institute
  • 09: Prague (Czechia)
  • 07: Prague (Czechia)
  • 06: Paris (France) Highlights
  • 05: Leipzig (Germany) QuantLA
  • 01-05: Berkeley (US) Simons Institute
 2015 
  • 11: Bonn (Germany) HIM
  • 10: Bonn (Germany) HIM
  • 09: Guangzhou (China)
  • 07: Dagstuhl (Germany) CSP
  • 07: Pittsburgh (US) ISMP'15
  • 07: Kyoto (Japan) ICALP'15
  • 06: Prague (Czech republic) STTI'15
  • 06: Prague (Czech republic) Complex Systems
  • 05: Linköping (Swedden)
  • 01: Texas (US) AAAI'15
  • 01: Krakow (Poland) VCSP
  • 01: Chennai (India) Complexity
 2014 
  • 11: Banff (Canada) CSP workshop
  • 06: Prague (Czechia) ACL fest
  • 06: Cambridge (UK) visit
  • 05: Boulder (US) ASL
  • 05: University of Warwick (UK) phase
  • 04: LSE, London (UK) visit
  • 03: London (UK) RS
  • 03: London (UK) MAD'14
  • 03: RHUL, London (UK) visit
  • 02: Edinburgh (UK) visit
  • 02: Liverpool (UK) visit
  • 02: London (UK) RS
  • 02: Guangzhou (China)
  • 01: Portland (US) SODA'14
 2013 
  • 12: Plzeň, Beroun (Czechia) Winter School
  • 12: Leeds (UK) visit
  • 11: Paris (France) visit
  • 09: Uppsala (Sweden) CP'13
  • 06: Brno (Czechia) visit
  • 06: Prague (Czechia) STTI'13
  • 06: Palo Alto (US) STOC'13
  • 05: Vancouver (Canada) visit
  • 04: Liblice (Czechia) Boolean Workshop
  • 02: London (UK) QMUL Algorithms Day
 2012 
  • 11: Dagstuhl (Germany) CSP workshop
  • 10: New Brunswick (US) FOCS'12
  • 10: Kyoto (Japan) RIMS Convexity
  • 07: China
  • 07: University of Warwick (UK) ICALP'12
  • 04: Toulouse (France) visit
  • 03: Czechia
  • 02: Durham (UK) visit
  • 01: Kyoto (Japan) SODA'12
 2011 
  • 09: China
  • 09: Perugia (Italy) CP'11
  • 09: Sailing in Greece
  • 08: Warsaw (Poland) MFCS'11
  • 08: Toronto (Canada) Fields Inst.
  • 06: Prague (Czechia) STTI'11
  • 06: Stockholm (Sweden) KTH
  • 04: Toulouse (France) visit
  • 03: Snowdonia (Wales)
 2010 
  • 10: China
  • 09: Kiev (Ukraine) CV meeting
  • 09: Durham (UK) ACID'10
  • 09: St Andrews (UK) CP'10
  • 06-09: Cambridge (UK) MSR
  • 04-05: Guangzhou (China) Wedding
  • 04: Cambridge (UK) MSR
  • 04: Edinburgh (UK) BCTCS'10
  • 03: Paris (France)
  • 03: Toulouse (France) visit
 2009 
  • 10: Dagstuhl (Germany) CSP workshop
  • 09: Lisobn (Portugal) CP'09
  • 08: Nový Smokovec (Slovakia) MFCS'09
  • 07: Cambridge (UK) LMS-EPSRC
  • 07: Greenwich (UK)
  • 06: Sobeslav (Czechia)
  • 06: Prague (Czechia) STTI'09
  • 05: Corsica (France) AGAPE'09
  • 05: University of Bristol (UK) BAD'09
  • 04: University of Warwick, Coventry (UK) BCTCS'09
  • 03: University of Warwick, Coventry (UK) Algorithmic Graph Theory
  • 02: Hamble, Yarmouth (Isle of Wight), Poole (UK) sailing
  • 01: Rutgers (US) Pseudo-Boolean Workshop
  • 01: Geilo, Oslo (Norway) Winter School
  • 01: Keswick, Lake District (UK)
 2008 
  • 12: Coimbra (Portugal) T&C Wedding
  • 12: Czechia
  • 10: University of Warwick, Coventry (UK) Algorithms Day
  • 10: Leeds (UK) visit
  • 10: Washington (US) INFORMS
  • 09: Singapore (SG)
  • 09: Melbourne (AU) visit
  • 09: Sydney (AU) CP'08
  • 09: Trest (Czechia) SSAOS'08
  • 08: Prague (Czechia) visit
  • 08: Portsmouth (UK)
  • 07: Edinburgh(UK) Logic and Algorithms
  • 07: Bristol (UK) Probabilistic Techniques in CS
  • 07: St Andrews (UK) ACP SS on Modelling
  • 06: London (UK) NATCOR Convex Optimization
  • 05: Hamble, Yarmouth (Isle of Wight) (UK) sailing
  • 04: Cambridge (UK)
  • 04: Durham (UK) BCTCS'08
  • 03: Nottingham (UK) NATCOR Algorithms
  • 02: Los Angeles (US) IPAM @ UCLA
  • 02: Guangdong (Guangzhou), Yunnan (Kunming, Dali, Lijiang), Macau, Hong Kong
  • 01: Beijing, Shaanxi (Xi'an), Zhejiang (Hangzhou), Suzhou (Jiangsu), Shanghai (China)
 2007 
  • 12: Prague, Krkonose, Sobeslav (Czechia)
  • 12: St Andrews (UK) visit
  • 11: Cardiff (UK)
  • 10: Verona, Levico Terme, Trento (Italy) Graphs
  • 09: Providence, Newport, Boston (US) CP'07
  • 09: London (UK)
  • 08: Dover, Cantebury, Eastbourne (UK)
  • 07: Czechia with Biying
  • 04: Warwick, Bath (UK)
  • 03: Prague, Vsetin (Czechia)
  • 02: Cambridge (UK)
  • 01: Cambridge (UK)
  • 01: Edinburgh (UK) Symmetry Conference
 2006 
  • 12: Stonehenge (UK)
  • 12: Leuven, Dinant, Namur (Belgium)
  • 09: Budapest (Hungary) AE/IS Symposium
  • 08: Mexico
  • 06: Lapland II (Finland)
  • 05: Lapland I (Finland)
  • 03: Stockholm (Sweeden)
  • 03: Helsinki (Finland)
  • 02: St Petersburg (Russia)
  • 02: Tallinn (Estonia)
  • 01: Spring in Turku (Finland)
 2005 
  • 09: Vienna (Austria)
  • 09: Tatra Mountains (Slovakia)
  • 08: Spain
  • 07: Hungary
  • 06: Summer in Amsterdam (Holland)
  • 03: Paris (France)
  • 03: London (UK)
  • 01: Spring in Amsterdam (Holland)
 2004 
  • 10: Brussels (Belgium)
  • 09: Autumn in Amsterdam (Holland)
 2003 
  • 06-09: NYC, Newark, New Jersey (US)