Andrzej Tarlecki

Past travel, conferences, etc
2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1998, 1997, 1996.

2015

• 5 - 7 March: MW fest, Munich, Germany
• [???] 11 - 18 April, ETAPS 2015 London, UK
• 12 - 13 June: Szczytno, my school anniversary
• [???] 20 - 30 June: UNILOG 2015 Istanbul, Turkey
• 22 - 28 June, Nijmegen, The Netherlands:
  • 22 - 25 June: MFPS 2015
  • 24 - 26 June: CALCO 2015
  • 27 - 28 June: IFIP WG 1.3 meeting
• 29 June - 3 July: RDP 2015, Warsaw, Poland
• [???] 21 - 24 September, IFIP WG 2.2 meeting, Lucca, Italy
• [???] 23 - 25 September: JM fest, Urbana-Champaign, USA
• 11 - 16 December: CECNet 2015, Shanghai, China

2014

• [???] 5 - 13 April: ETAPS 2014, Grenoble, France
• 9 - 17 April: Japan:
  • 9 - 13 April: Kyoto University
  • 13 - 16 April: SAS 2014, Kanazawa
• 25 - 27 April: FIT 2014, Jarnoltowek DW Ziemowit, Poland
• [???] 27 April - 2 May: Dagstuhl workshop, Schloss Dagstuhl, Germany
• [???] 1 - 3 September: TCS 2014 conference, Rome, Italy
• [???] 2 - 7 September: Sinaia, Romania:
  • 2 - 3 September: IFIP WG 1.3 meeting
  • 4 - 7 September: WADT 2014
• [???] 15 - 18 September: WG 2.2 meeting, Munich, Germany
• [???] 17 - 20 September: ICTAC 2014, Bucharest, Romania
• [???] 11 - 16 December: CECNet 2014, Bejing, China

2013

• [???] 16 - 24 March: ETAPS 2013, Rome, Italy
• [???] 3 - 7 April: 4th World Congress and School on Universal Logic, UNILOG.13, Rio de Janeiro, Brasil
• [???] FIT 2013, Torun, Poland
• 27 - 29 May: Umeaa University, Sweden
• 21 - 22 June: KWUMI 2013 Kielce, Poland
• 23 - 26 July: Eilenberg Centenary Conference E100, Warsaw
• [???] 3 - 6 September, CALCO'2013, Warsaw, Poland
• [???] 4 - 6 September: ICTAC 2013, Shanghai, China
• [???] 17 - 19 September: Academia Europea 2013 Anniversary Conference, Wroclaw, Poland
• [???] 23 - 26 September: IFIP WG 2.2 meeting, Lisbon
• 11 - 14 October: Mostowski Centenary Conference, Warsaw, Poland

2012

• [?] 19 - 22 April: FIT 2012, Zakopane, Poland
• 7 - 10 June: Salamanca, Spain
  • 7 - 10 June: WADT'12
  • 11 - 13 June: IFIP WG 1.3 meeting
• 8 - 13 July: ICALP 2012, Warwick, UK
• 14 - 18 August, Bremen
• [???] 22 - 25 August: AiML. Copenhagen, Denmark
• [???] 10 - 13 September: Academia Europea General Assembly and NEFI worskshop, Bergen, Norway
• 20 - 23 September: IV Kongres Mlodych Matematykow Polskich, Gdansk
• [???] 24 - 26 September: Amsterdam
  • TCS 2012
  • IFIP WG 2.2 meeting
• 9 November: Colloquium on the Occasion of Rolf Hennicker's 60th Birthday, Munich, Germany

2011

• 5 - 9 January: IFIP WG 1.3 meeting (French Alps)
• 1 - 6 March: Edinburgh, research visit
• 29 March - 3 April: Saarbruecken, Germany
  • 29 March - 2 April: ETAPS'11,
  • 3 April: IFIP TC1 meeting
• 8 - 9 April: FIT'11, Gdansk
• 12 - 17 April: Edinburgh, research visit
• [???] 26 - 31 May: LATA 2011, Tarragona, Spain
• [???] 20 - 24 June: FM 2011, Limerick, Ireland
• July 4-8: ICALP 2011, Zurich, Switzerland
• [???] July 26-30: TACL 2011, Marseille, France
• 29 August - 4 September, Winchester, UK:
  • 29 August - 2 September: CALCO 2011
  • 3 - 4 September: IFIP WG 1.3 meeting
• [???] 14 - 16 September: FACS 2011, Oslo, Norway
• 20 - 24 September: IFIP WG 2.2 meeting, Paris
• 7 December: PKA visit at UJ, Cracow

2010

• [?] 21 - 26 February, Munich, Germany, including:
  • 22 - 24 February: SENSORIA final preparatory meeting and review;
  • 24 - 26 February: TGC 2010
• [???] 20 - 28 March: ETAPS'10, Paphos, Cyprus
• 26 - 28 March: Elsevier Editors' Conference, Berlin, Germany
• 22 - 25 April: FIT 2010, Zakopane, Poland.
• 8-9 May: LO Szczytno class reunion
• 8 - 13 June: Edinburgh, research visit
• 19 June: inf UW'80 class reunion (Warsaw)
• 30 June - 9 July: Schloss Etelsen and Bremen, Germany
  • 30 June - 4 July: WADT 2010
  • 4 - 6 July: Schloss Etelsen, IFIP WG1.3 meeting
  • 6 - 9 July: Bremen, research visit
• [???] 9 - 21 July: FLoC 2010, Edinburgh, UK
• 19 July - 15 August: Edinburgh, research visit, SICSA fellowship
• [???] 23 - 27 August: MFCS & CSL 2010, Brno, Czech Republic
• [???] 30 August - 1 September, AE Conference of IS and ECS, Gratz, Austria
• 20 - 22 September: IFIP WG 2.2 meeting, Warsaw, Poland
• 13 - 16 October: Types 2010, Warsaw, Poland
• 30 November - 3 December: Dagstuhl Perspective Workshop 10482, Schloss Dagstuhl, Germany

2009

• 5-11 February, Munich, Germany, including:
  • 6 February: MW's Fest
  • 9-11 February: Sensoria workshops
• [???] 13 February, Bremen, Germany
• [???] 22 - 29 March, ETAPS'09, York, UK, including:
  • 22 March, TC1 meeting
• 22 - 23 April: PKA@UJ, Krakow, Poland
• 24 - 26 April: FIT'09, Zakopane, Poland
• 27 - 29 May: PKA@UWroc, Wroclaw, Poland
• 6 - 10 June, SENSORIA meeting, Lisbon, Portugal
• 17 - 20 June, MOBIUS meeting, Madrid, Spain
• 30 June - 5 July: Edinburgh, research visit
• 6 - 12 September, Udine, Italy, including:
  • 6 - 10 September: CALCO'09, Udine, Italy
  • 11 - 12 September: WG 1.3 meeting
• 15 - 20 September: Edinburgh, research visit
• [???] 30 October - 7 November, FM'09, Eindhoven, The Netherlands
• 10 - 15 November: Edinburgh, research visit
• 22 - 26 November: SENSORIA meeting, Milano, Italy

2008 (1st half of the year not available)

• 30 June - 4 August: Urbana, IL, USA, including:
  • 30 June - 28 July: research visit Dept. Comp. Sci., Univ. of Illinois
  • 28 - 31 July:AMAST'08
  • 31 July - 2 August: WG1.3 meeting
• 9 - 17 August: holidays in Poland
• 21 August - 4 September: holidays outside Poland
• 11 - 14 September: WG 2.2 meeting, Torino, Italy
• 22 - 26 September: GLOBAN'09, Warsaw, Poland
• 4 - 8 November: Barcelona, Spain, including:
  • 3 - 4 November: TGC 2008
  • 5 - 7 November: SENSORIA Annual review meeting
• 18 - 22 November:
  • 18 - 20 November: Munich, Germany
  • 21 November: ESTRELLA review, Brussels, Belgium

2007 (by far incomplete)

• 8 February: Brussels (project review)
• 25 - 29 June: Petri Nets 2007, Siedlce, Poland
• 9 - 14 July: ICALP 2007 & LiCS 2007, Wroclaw, Poland
• 19 - 25 August: CALCO 2007, Bergen, Norway.

2006

• 25 - 28 January: Sensoria Theme 1 (Language primitives) workshop, Pisa, Italy.
• 4 - 19 February (or so): winter break
• 26 - 28 February: Sensoria Theme 3 (Development techniques) meeting, Munich, Germany.
• 16 - 19 March: FIT'06, Karpacz, Poland.
• 25 March - 2 April: ETAPS 2006, Vienna, Austria.
  • 26 March: ACCAT Workshop
• 5-19 May: ENS Cachan, France
• 31 May - 6 June: La Roche-en-Ardenne, Belgium:
  • 1 - 3 June: WADT'06
  • 3 - 6 June: IFIP WG 1.3 meeting
• 11 - 16 June: Bologna, Italy
  • 11 - 13 June: Sensoria annual meeting
  • 14 - 16 June: DisCoTec'06/FMOODS'06 [???]
• 19 - 23 June: Mobius Annual meeting, Madrid, Spain
• 26 - 4 July: US:
  • 26 - 1 July, San Diego, CA:
    • 27 - 29 June: Symposium to honour Joseph Goguen's
    • 30 June: IFIP WG 1.3 meeting continued
  • 1 - 4 July, Urbana-Champaigne, IL
• 9 - 13 July: Dagstuhl seminar "The Challange of Software Verification", Schloss Dagstuhl, Germany
• 9 - 16 July: ICALP'06, Venice, Italy [???]
• 2 - 9 September: Edinburgh, Scotland
  • 7 - 8 September: Symposium for Gordon Plotkin
• 10 - 14 September: IFIP WG 2.2 40th Anniversary meeting, Udine, Italy
• 18 - 22 September: Budapest, Hungary
  • 19 - 20 September Grand Challanges in Informatics
  • 21 - 23 September The 18th Annual Conference of Academia Europea
• 26 September - 5 October: ENS Cachan, France
• 6 - 10 November: TGC conference and SENSORIA review meeting

2005

• 10 - 16 January: WG 1.3 meeting and workshop, Bangalore, India
• 20 - 26 February: Foundations of Global Computing, Schloss Dagstuhl, Germany
• 26 March - 3 April: 1st World Congress on Universal Logic, Montreux, Switzerland [???]
• 2 - 10 April: ETAPS'05 Edinburgh, UK
• 15 - 17 April: FIT'05, Karpacz, Poland
• 19 - 21 May: spotkanie KWUMI, Katowice
• 11 - 15 July: ICALP'05, Lisbon, Portugal
• 17 - 23 July: FM 2005 Newcastle upon Tyne, UK
• 31 August - 3 September: WG2.2 meeting, Skagen, Denmark [???]
• 1 - 2 September: SENSORIA kick-off meeting, London, UK
• 3 - 11 September: CALCO 2005 and WG 1.3 meeting, University of Wales Swansea, UK [???]
• 30 September - 2 October: FLIRTS meeting, Bremen, Germany
• 5 - 8 October: MOBIUS kick-off meeting, Sophia-Antipolis, France
• 16 - 18 November: Poznan (UAM, akredytacja PKA)
• 17 - 19 November: SENSORIA WP3 meeting, Lyngby, Denmark [???]

2004

• 14 - 16 January: Zielona Gora (akredytacja PKA)
• 1 - 14 February: visit to LSV, ENS Cachan, France
• 8 - 14 March: Global Computing workshop and evaluation meeting, Rovereto, Italy
• 17 - 19 March: Poznan (akredytacja PKA)
• 25 March - 2 April ETAPS'04 (including: WADT'04, WG 1.3) Barcelona, Spain
• 15 - 18 April FIT'04, Karpacz, Poland
• 26 May - 8 June: visit to LSV, ENS Cachan, France
• 7 - 10 July: AGILE meeting, Munich, Germany
• 12 - 16 July: AMAST'04 , Stirling, UK [???]
• 12 - 16 July: ICALP'04 , Turku, Finland [???]
• 28 - 30 July: CombLog'04, Lisbon, Portugal
• 18 August, Sophia Antipolis, France [???]
• 22 - 27 August WCC 2004 and IFIP TC1 meeting, Toulouse, France [???]
• 16 - 29 August: Edinburgh, Scotland
• 14 - 19 September: IFIP WG 2.2 meeting, Bertinoro, Italy
• 20 - 23 September: CSL'04, Karpacz, Poland
• 13 - 15 October: Lublin (akredytacja PKA)
• 17 - 22 October: Brussels
• 9 - 10 November: Czestochowa (akredytacja PKA)
• 1 - 5 December: Zakopane, konferencja kierownikow grantow KBN z zakresu informatyki.
• 4 December: Krakow, dzien doktoranta.

2003

• 8 - 15 February: Global Computing (and AGILE) workshop and review meeting, Rovereto, n. Trento, Italy
• 5 - 14 April: ETAPS'03, Warsaw, Poland
• 14 - 17 May, IFIP WG 2.2 meeting, CWI, Amsterdam [???]
• 31 May - 5 June, IFIP WG 1.3 meeting, Cala Galdana, Menorca, Spain
• 26 - 30 July, AGILE meeting, Pisa, Italy
• 27 July - 4 August, Eidhoven, The Netherlands [???]
  • 28 - 29 July: FGC [???]
  • 30 July - 4 August: ICALP2003 [???]
• 17 - 27 August: Edinburgh
• 4 September: Amsterdam (Elsevier)
• 8 - 13 September: Brussels
• 27 September - 1 October: Brussels
• 29 - 31 October: Torun (akredytacja PKA)
• 9 - 12 November: MSR Academic Conference, Budapest
• 5 - 6 December: AGILE meeting, Munich
• 12 - 14 December: FIT'03, Karpacz
• 17 - 19 December: Lodz (akredytacja PKA)

2002

• 5 - 12 January, WG 1.3 meeting, Frech Alps
• 11 - 15 March, Brussels???
• 21 - 23 March, AGILE workshop, Lisbon ?
• 6 - 13 April ETAPS'02, Grenoble, France
• 25 May - 8 (?) June, LSV, ENS Cachan, France.
• 22 June - 5 (?) July, LFCS, Edinburgh, UK.
• 20 July - 1 August, FLoC'02, Copenhagen [???]
  • 20 -21 July Domain Theory (D. Scott - Fest)
• 30 July - 11 August, Marktoberdorf Summer School, Germany.
• 26 - 30 August, MFCS'02, Warszawa - Otwock.
• 8 - 15 September, Oldenburg, Germany
  • 9 - 12 September: FTRTFT'02 conference
  • 13 - 14 September: IFIP WG 2.2 meeting
• 9 - 13 September, AMAST'02 St. Gilles les Bains, Reunion Island, France [???]
• 22 - 29 September, Munich/Frauenchimsee, Germany:
  • 22 - 23 September: IFIP WG1.3 meeting
  • 24 - 29 September: WADT'02,
• 5 - 8 November, FMCO 2002, Leiden, The Netherlands [???]
• 7 - 9 December: observational CASL meeting, Munich, Germany
• 12 - 14 December: FIT'02, Karpacz, Poland

2001

• 30 March - 7 April, ETAPS'01, Genova, including:
  • 30 - 31 March: IFIP WG 1.3 meeting
  • 1 - 3 April 15th WADT'01
  • 2 - 6 April: the main conferences
  • 6 - 7 April CMCS'01
• 29 April - 18 May (?), France:
  • at LSV, ENS Cachan until May 13;
  • 14 - 18 May, Rennes, France: IFIP WG 2.2 meeting
• 27 May - 1 June, Schloss Dagstuhl, Germany (Seminar on "Can Formal Methods Cope with Software Intensive Systems") [???]
• 8-12 July, Crete, Greece: ICALP'01. [???]
• 27-31 August, Marianske Laznie, Czech Republic: MFCS'01 [???]
• 1 - 14 September (?), LSV, Cachan, France; perhaps including:
  • 10 - 13 September, CSL'01, Paris.
• 7-8 December, FIT 2001, Bialystok.

2000

• February, Genova: CoFI working meeting [???].
• 22 - 25 March, Edinburgh: CoFI visit plus RB's retirement event
• 26 March - 2 April, Berlin: ETAPS2000 plus satellite CoFI workshop
• 8 - 20 May (?) LSV, ENS Cachan, France
• 23 - 27 May, AMAST2000, Iowa City, Iowa, USA [???]
• 29 May, seminar at Torun University
• 8 - 9 June, CRIT-2 workshop, Warsaw
• 17 - 19 August, IFIP TCS2000, Tohoku University, Sendai, Japan [???]
• 10 - 23 September (?) LSV, ENS Cachan, France
• 20 - 23 September, "Global computing" workshop, Edinburgh, Scotland
• 25 - 30 September, Oldenburg, Germany: IFIP WG 2.2 meeting
• 7 - 13 October, Schloss Dagstuhl, Germany (Seminar on "Semi-Formal and Formal Specification Techniques for Software Systems")
• 25 November - 1 December, Schloss Dagstuhl, Germany (Seminar on "Logic, Algebra, and Formal Verification of Concurrent Systems") [?]
• 8-9 December, FIT 2000, Krakow

1999

• 2 - 19 January, Brasil
  • 2 - 9 January: AMAST'98, Manaus, Amazonia
  • 9 - 19 January: Laboratorio de Metodos Formais, Pontifícia Universidade Catolica do Rio de Janeiro
• 20 - 28 March: ETAPS'99, Amsterdam, The Netherlands.
  • plus CoFI satellite workshop
• 7 - 8 May: CRIT-2 mid-term review, Warsaw
• 9 May onwards: LSV, ENS Cachan, France
• 29 May - 12 June: Dept. Mat., IST, Lisboa, Portugal
• 28 June - 12 July, Italy:
  • 28 June - 1 July: IFIP WG 2.2 meeting, Udine
  • June 29 - July 12: FLoC'99, Trento [???].
• 20 - 26 August, LMPS'99, Cracow, Poland [???]
• 6 - 10 September, LPAR'99, Tbilisi, Georgia [???]
• 6 - 10 September, MFCS'99, Szklarska Poreba n. Wroclaw, Poland [???]
• 5 - 12 September and/or 19 - 25 September: LSV, ENS Cachan, France
• 12 - 24 September, France, around Touluse:
  • 12 - 18 September, Chateau de Bonas:
    • 12 - 14 September: WG 1.3 meeting
    • 15 - 18 September: ADT'99
  • 19 - 24 September: FM'99, Tulouse
  • plus CoFI satellite workshop
• 7 - 11 November, Schloss Dagstuhl, Germany (Seminar on "Rigorous Analysis and Design for Software Intensive Systems")
• 3 - 4 December: FIT'99, Gdansk, PL.
• 15 - 19 December: Zakopane, konferencja kierownikow grantow KBN z zakresu informatyki.

1998

• 8 - 12 January: CoFI meetings, Bremen
• 13 - 15 March: ICALP'98 PC meeting, Denmark [NO]
• 30 March - 5 April: Lisbon
  • 30 March - 3 April ETAPS'98
  • 2 - 4 April: ADT'98
  • 5 April: WG 1.3
• 11 May onwards: LSV, ENS Cachan, France
• 8 - 15 June: Shelter Island, NY, USA:
  • 8 - 12 June: PROCOMET'98
  • 13 - 15 June: IFIP WG2.2 meeting
• 13 - 17 July: ICALP'98, Aalborg, Denmark [NO]
• 13 - 17 July: Dagstuhl Seminar, Germany
• 30 August onwards: LSV, ENS Cachan, France
• 11? September: AMAST'98 PC, USA [NO]
• 2 - 4 October: FroCoS'98, Amsterdam, The Netherlands
• 6 - 10 November: CoFI meetings, LSV, ENS Cachan, France

1997

• 5 -6 April: FME'97 PC, Newcastle [NO]
• 12 - 19 April: France
  • 12 - 13 April: CoFI meeting(s), Paris
  • 14 - 19 April: TapSoft'97 (Lille)
• 1 - 10 May: France, ENS Cachan
• 1 - 7 June : Italy (near Rome)
  • 1 - 3 June: WG14.3 meeting
  • 3 - 7 June: ADT'97
  • 7 - 8 June: FLIRTS'97
• 13 - 14 June: CSL'97 PC, Aarhus [NO]
• 29 June - 2 July : LiCS'97 (Warsaw)
• 2 - 4 July: CONCUR'97 (Warsaw)
• 25 - 29 August: CSL'97 (Aarhus)
• 4 - 7 September: CTCS'97 (S. Margherita, Italy)
• 15 - 26 September: Austria, Graz:
  • 15 - 19 September: FME'97 [NO]
  • 22 - 26 September: IFIP WG2.2 meeting
• 17 - 23 November: Cachan, France
• 5 - 6 December: FIT, Wroclaw
• 13 - 17 December: AMAST'97, Sydney, Australia [NO]

1996 (incomplete, with the first half deleted)

• 18 July - 18 August: Edinburgh
• 26 - 28 August: Till Mossakowski's PhD (Bremen)
• 2 - 6 September: MFCS'96 (Cracow)
• 8 - 14 September: ACM Summer School FOOP (Sobotka)
• 22 September - 4 October: Macau/China:
  • 23 - 27 September: IFIP WG2.2 (Macau)
  • 28 September - 5 October: IFIP WG2.2-UNU/IIST seminar (Beijing)
• 24 - 26 October: FLIRTS'96 (Lisboa) (?)
• 25 - 27 October: ALP'96 (Aachen) [?]
• 23 - 29 November: Paris, LIENS
• 2 - 22 December: LACS (Warsaw)