Trips 

  A list of various academic and holiday trips.

 2013 
  • 06: Brno, Czech republic visit
  • 06: Prague, Czech republic STTI'13
  • 06: Palo Alto, US STOC'13
  • 05: Vancouver, Canada visit
  • 04: Liblice, Czech republic 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: Czech republic
  • 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, Czech republic 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)