[TYPES/announce] ETAPS 2016 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] TYPES 2015 post-proceedings open call for papers

the option to attach to their submission a zip or tgz file containing code (formalized proofs or programs), but reviewers are not obliged to take those attachments into account and they will not be published. EDITOR Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia

[TYPES/announce] ETAPS 2016 final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] TYPES 2015 post-proceedings open call for papers (reminder)

published. EDITOR Tarmo Uustalu, Institute of Cybernetics, Tallinn, Estonia

[TYPES/announce] ETAPS 2016 satellite workshops joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Joint Call for Papers ETAPS 2016 Satellite Workshops Eindhoven, The Netherlands, 2-3 and 8 April 2016 http://www.et

[TYPES/announce] ETAPS 2017 call for satellite events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 20th European Joint Conferences on Theory and Practice of Software ETAPS 2017 Uppsala, Sweden, 23-29 April 2017 http://w

[TYPES/announce] ETAPS 2016 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION ETAPS 2016 19th European Joint Conferences on Theo

[TYPES/announce] ETAPS 2016 early registration deadline 1 March approaching

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Early registration deadline 1 March 2016! ** CALL FOR PARTICIPATION ETAPS 20

[TYPES/announce] ETAPS 2017 1st call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2017 2nd joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2017 final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 20th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2017 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION ETAPS 2017 20th European Joint Conferences on Theo

[TYPES/announce] ETAPS 2018 call for satellite events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 21st European Joint Conferences on Theory and Practice of Software ETAPS 2018 Thessaloniki, Greece, 14-21 April 2018 htt

[TYPES/announce] ETAPS 2017 early registration deadline approaching

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Early registration deadline 12 March 2017! ** CALL FOR PARTICIPATION 20th European Joint Conferences on

[TYPES/announce] ETAPS 2018 joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW! The proceedings of ETAPS 2018 will appear in *gold open access*. As an exception for this year only, the important dates of POST differ from the other member conferences!

[TYPES/announce] ETAPS 2018 2nd joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW! The proceedings of ETAPS 2018 will appear in gold open access. As an exception for this year only, the important dates of POST differ from those of the member conferences! ***

[TYPES/announce] ETAPS 2018 final joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW! The proceedings of ETAPS 2018 will appear in gold open access in LNCS/ARCoSS (with no added cost for authors specifically). As an exception for this year only, the important dates of PO

[TYPES/announce] ICTAC 2018 2nd call for papers

a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMM

[TYPES/announce] ICTAC 2018 final call for papers

submit a revised and extended version to a special issue, to be published in Elsevier's Theoretical Computer Science. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMM

[TYPES/announce] ICTAC 2018 call for papers, extended deadlines

scher (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) PROGRAM COMMITTEE June Andronick (Data61, AU) Éric Badouel (IRISA, FR) Eduardo Bonelli (Universidad Nacional de Quilmes, AR) Ana Cavalcanti (University of York, UK) Uli Fahrenberg (LIX, FR) Anna Lisa Ferrara (University of Southa

[TYPES/announce] CARI/ICTAC Spring School and ICTAC 2018, call for participation

12 September. Until this date, the full fee is ~390 EUR and the student fee is ~240 EUR. GENERAL CHAIR Bernd Fischer (Stellenbosch University, ZA) PROGRAMME CHAIRS Bernd Fischer (Stellenbosch University, ZA) Tarmo Uustalu (Reykjavik University, IS) ICTAC STEERING COMMITTEE Ana Cavalcanti

[TYPES/announce] Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Professor and postdoc/researcher positions in Tallinn in trustworthy software technologies The Government of Estonia has allocated funds to create six new research groups in selected areas

[TYPES/announce] ETAPS 2019 1st joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2019 2nd joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 22nd European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS Test of Time Award

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ETAPS Test of Time Award The ETAPS Test of Time Award recognizes outstanding papers published more than 10 years in the past in one of the constituent conferences of ETAPS. The Award recogni

[TYPES/announce] 24th Estonian Winter School in Computer Science, call for participation

ING COMMITTEE Peeter Laud (Cybernetica AS) Monika Perkmann (Tallinn Univ of Technology) (secretary) Pille Pullonen (Cybernetica AS / University of Tartu) Ago-Erik Riet (University of Tartu) Tarmo Uustalu (Reykjavik University / Tallinn Univ of Technology) SPONSORS ERDF via Tal

[TYPES/announce] ETAPS 2019 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION 22nd European Joint Conferences on Theory And Practice of Software

[TYPES/announce] Postdoc position on quantified effects at Reykjavik University

Department of Computer Science, Reykjavik University. The position is part of a three-year research project funded by the Icelandic Research Fund under the direction of Tarmo Uustalu. The overarching goal of to advance the theory and practice of disciplined effectful programming, based on graded

[TYPES/announce] ETAPS 2020 1st joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software

[TYPES/announce] ETAPS 2020 2nd joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software

[TYPES/announce] NWPT 2019 2nd call for contributions

, Mälardalen University, Sweden Jiri Srba, Aalborg University, Denmark Tarmo Uustalu, Reykjavík University, Iceland Jüri Vain, Tallinn University of Techn., Estonia Antti Valmari, University of Jyväskylä, Finland Marina Waldén, Åbo Akademi University, Finland Organizing Committee

[TYPES/announce] NWPT 2019 submission deadline extended

Gothenburg, Sweden Cristina Seceleanu, Mälardalen University, Sweden Jiri Srba, Aalborg University, Denmark Tarmo Uustalu, Reykjavík University, Iceland Jüri Vain, Tallinn University of Techn., Estonia Antti Valmari, University of Jyväskylä, Finland Marina Waldén, Åbo Akademi

[TYPES/announce] Estonian Winter School in Comput Sci 2012, call for partic.

a small number of participants. To apply for fee reduction, please fill in the online fee reduction request form. PROGRAMME COMMITTEE / ORGANISING COMMITTEE * Tarmo Uustalu (Institute of Cybernetics) (chair) * Monika Perkmann (Institute of Cybernetics) (secretary) * Peeter

[TYPES/announce] ETAPS 2012 call for participation, early reg deadline 29 Jan. 2012

long with Turku in Finland, was the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn (TLL) is only 4 kms from the city centre. -- ORGANIZERS * General chair: Tarmo Uustalu * Workshops c

[TYPES/announce] ETAPS 2012 2nd call for participation, normal reg. closing 26 Feb. 2012

linn, along with Turku in Finland, was the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn (TLL) is only 4 kms from the city centre. -- ORGANIZERS * General chair: Tarmo Uustalu * Works

[TYPES/announce] ETAPS 2014 first call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] ** FIRST CALL FOR PAPERS: ETAPS 2014 17th European Joint Conferences o

[TYPES/announce] TACAS 2014 call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS TACAS 2014 An ETAPS Member Conference 20th Internatio

[TYPES/announce] ICFP 2013 Call for Participation

t and David Van Horn Testing Noninterference, Quickly Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos 1740-18 ICFP 2014 Advert & Closing GENERAL CHAIR Greg Morrisett, Harvard University PROGR

[TYPES/announce] ETAPS 2014 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] A month to go! ** SECOND CALL FOR PAPERS: ETAPS 2014 17th European Jo

[TYPES/announce] ETAPS 2014 last call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologise for multiple copies.] Abstracts due 4 Oct, full papers 11 Oct 2013 ** LAST CALL FOR PAPERS:

[TYPES/announce] NWPT 2013 last call for contributions

ty of Gothenburg, Sweden Tarmo Uustalu, Institute of Cybernetics, Estonia (co-chair) Jüri Vain, Tallinn University of Technology, Estonia (co-chair) Marina Waldén, Åbo Akademi University, Finland Uwe Wolter, University of Bergen, Norway Wang Yi, Uppsala University, Sweden Organising Comm

[TYPES/announce] ETAPS 2015 call for satellite events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 18th European Joint Conferences on Theory and Practice of Software ETAPS 2015 London, UK, April 11-19, 2015 http://w

[TYPES/announce] ETAPS 2014 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] To notice: - The programme of the main conferences of ETAPS 2014 is on the web. - Early registration is until Friday, 14 February 2014. **

[TYPES/announce] ETAPS 2014 2nd call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] To notice: - Normal-rate registration is until Monday, 10 March 2014. ** CALL FOR PARTICIPATION

[TYPES/announce] ETAPS 2015 1st call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2015 2nd call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2015 final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2015 18th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] TYPES 2015 call for contributions

Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of Cybernetics, Tallinn Sponsors ERDF via EXCS, the Estonian Centre of Excellence in Computer Science

[TYPES/announce] TYPES 2015 2nd call for contributions

Sabatier) Aleks Nanevski (IMDEA Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute

[TYPES/announce] ETAPS 2015 call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PARTICIPATION ETAPS 2015 18th European Joint Conferences on The

[TYPES/announce] ETAPS 2016 call for satellite events

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 19th European Joint Conferences on Theory and Practice of Software ETAPS 2016 Eindhoven, The Netherlands, April 2-8, 2016 ht

[TYPES/announce] TYPES 2015 final call for contributions

Software) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn

[TYPES/announce] ETAPS 2015 final call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Tutorials information added. Note that normal-rate registration ends 10 March.] ** CALL FOR PARTICIPATIO

[TYPES/announce] TYPES 2015 submission deadline extended

-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organizers Logic and semantics group, Institute of

[TYPES/announce] ETAPS 2016 last call for workshops

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We are soliciting workshop proposals for ETAPS 2016 in Eindhoven. The proposal submission deadline of 29 March is approaching.] 19th European Joint Conferences on Theory and Practice of

[TYPES/announce] TYPES 2015 call for participation

tware) Christine Paulin-Mohring (LRI, Université Paris-Sud) Simona Ronchi Della Rocca (Università di Torino) Ulrich Schöpp (Ludwig-Maximilians-Universität München) Bas Spitters (Carnegie Mellon University) Pawel Urzyczyn (University of Warsaw) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (chair) Organ

[TYPES/announce] ETAPS 2016 call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** CALL FOR PAPERS: ETAPS 2016 19th European Joint Conferences on Theory And Practice of Software

[TYPES/announce] ETAPS 2020 final joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 23rd European Joint Conferences on Theory and Practice of Software

[TYPES/announce] 25th Estonian Winter School in CS, call for applications

nika Perkmann (Tallinn Univ of Technology) (secretary) Pille Pullonen (Cybernetica AS / University of Tartu) Ago-Erik Riet (University of Tartu) Tarmo Uustalu (Reykjavik University / Tallinn Univ of Technology) SPONSORS ERDF via TalTech Institutional Development Programme (Doctoral School in I

[TYPES/announce] 25th Estonian Winter School in CS, last call for applications

Ago-Erik Riet (University of Tartu) Tarmo Uustalu (Reykjavik University / Tallinn Univ of Technology) SPONSORS ERDF via TalTech Institutional Development Programme (Doctoral School in ICT) and EXCITE, Excellence in IT in Estonia WEBPAGE http://cs.ioc.ee/ewscs/2020/ EMAIL CONTACT ewscs20(at)cs.ioc.ee

[TYPES/announce] ETAPS 2020 afternoon, online, 2 July 2020, call for participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [There will be no physical ETAPS in Dublin this autumn. Instead, on 2 July 2020, we will hold an online ETAPS 2020 afternoon. The authors of papers accepted to the main conferences of ETAPS

[TYPES/announce] ETAPS 2021 1st joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software

[TYPES/announce] ETAPS 2021 2nd joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** JOINT CALL FOR PAPERS 24th European Joint Conferences on Theory and Practice of Software

[TYPES/announce] ETAPS 2022 1st joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - ESOP, FoSSaCS, TACAS are CORE 2021 rank A conferences

[TYPES/announce] ETAPS 2022 2nd joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - The proceedings of ETAPS appear in gold open access,

[TYPES/announce] NWPT 2021 call for contributions - deadline 10 October

is/en/volcano-eruption/eruption-information__;!!IBzWLUs!CCsFzUAOG9muZEhPCn_-T4nulo_qdlW9weyvoJvmwyDp8qmCG4AsEUPCFde4FV42xQY18mkRWSMabA$ Organizers Antonis Achilleos, Elli Anastasiadi, Dylan McDermott, Tarmo Uustalu Travel to Iceland This may change, but at the moment anyone fully vaccinat

[TYPES/announce] ETAPS 2022 final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Paper submission deadline: 14 Oct 2021 23:59 AoE ** JOINT CALL FOR PAPERS 25th European Joint Confere

[TYPES/announce] Full professor of programming languages, U of Tartu

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A full professor position of programming languages is open at University of Tartu, Estonia, application deadline 2 Feb 2023. See https://urldefense.com/v3/__https://ut.ee/en/job-offer/pro

[TYPES/announce] Postdoc position, Logic and Semantics Group in Tallinn

research statement to Tarmo Uustalu, ta...@cs.ioc.ee, and Niccolò Veltri, nicc...@cs.ioc.ee, as soon as possible, but latest by 10 September 2023. We will assess applications as they arrive. With questions about the research topics of the group, the research environment, the conditions of the contract or

[TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn

-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYp791TJgq$ For closer information about the position and the research environment (the group), please approach Tarmo Uustalu.

[TYPES/announce] Postdoc positions in Reykjavik

gross salary is 663000 ISK (~4420 EUR) per month which amounts to ~3210 EUR after tax, with tax relief for foreign experts ~3675 EUR after tax. For closer information on the two projects as well as the research environment and the conditions of the contract, please get in touch with Tarmo Uustalu

[TYPES/announce] Postdoc position at IoC, Tallinn

position is for two years, the preferred start date is 1 Sept 2007. For closer information about the position and the research environment, contact Dr Tarmo Uustalu, [EMAIL PROTECTED] To apply, email us your CV and publication list no later than 15 July 2007.

[TYPES/announce] TYPES small workshop on Effects and Type Theory

ssions. If you would like to contribute a talk, send a title and abstract to efftt(at)cs.ioc.ee by 21 November 2007. Organizers The workshop organizers are Thorsten Altenkirch, Marino Miculan and Tarmo Uustalu. Venue The workshop will take place in the building of the Estonian Academy of Scienc

[TYPES/announce] 13th Estonian Winter School in Computer Science, Call for Partic.

transportation from Tallinn to Palmse and back, excursion and conference dinner. Programme committee / organizing committee Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger Lipmaa (U. College London), Peeter Laud (U. of Tartu), Varmo Vene (U. of Tartu), Sven Laur (Helsinki U

[TYPES/announce] Postdoc/PhD student positions in Tallinn in FP6 project MOBIUS

Tallinn, a semi-autonomous research institute of Tallinn University of Technology. In computer science, IoC is the leading research institution in Estonia. The IoC team (http://cs.ioc.ee/lsg/) consists of Tarmo Uustalu, Ando Saabas and Peeter Laud. The IoC team is working on automatic

[TYPES/announce] NWPT'08, Tallinn, call for contributions

Chalmers Univ. of Technology, Sweden * Olaf Owe, University of Oslo, Norway * Gerardo Schneider, University of Oslo, Norway * Tarmo Uustalu, Inst. of Cybernetics, Estonia (co-chair) * Jüri Vain, Tallinn Univ. of Technology, Estonia (co-chair) * Marina Waldén, Åbo Akademi Universit

[TYPES/announce] NWPT'08, Tallinn, 2nd call for contributions

lo, Norway * Gerardo Schneider, University of Oslo, Norway * Tarmo Uustalu, Inst. of Cybernetics, Estonia (co-chair) * Jüri Vain, Tallinn Univ. of Technology, Estonia (co-chair) * Marina Waldén, Åbo Akademi University, Finland * Uwe Wolter, Univ. of Bergen, Norway * Wang Yi, Uppsala Uni

[TYPES/announce] Eight postdoc positions in Tallinn/Tartu

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Type systems, functional programming, semantics are in the scope. The contact persons for programming languages and systems and security are Tarmo Uustalu, [EMAIL PROTECTED], Varmo Vene

[TYPES/announce] NWPT'08, Tallinn, 2nd call for contributions

s Univ. of Technology, Sweden * Olaf Owe, University of Oslo, Norway * Gerardo Schneider, University of Oslo, Norway * Tarmo Uustalu, Inst. of Cybernetics, Estonia (co-chair) * Jüri Vain, Tallinn Univ. of Technology, Estonia (co-chair) * Marina Waldén, Åbo Akademi University, Finland

[TYPES/announce] Winter School on Verification of OO Programs, Estonia, 25-29 Jan 2009

u have to be an early-stage researcher from one of the 15 signatory countries of the action. These are: Belgium, Denmark, Estonia, France, Germany, Ireland, Israel, Italy, Netherlands, Norway, Poland, Spain, Sweden, Switzerland, United Kingdom. Organizers The school is organized by Tarmo Uustal

[TYPES/announce] 14th Estonian Winter School in Comput. Sci., Call for Partic.

ion from Tallinn to Palmse and back, excursion and conference dinner. Programme committee / organizing committee Tarmo Uustalu (IoC) (chair), Monika Perkmann (IoC) (secretary), Helger Lipmaa (Cybernetica AS), Peeter Laud (Cybernetica AS), Varmo Vene (U. of Tartu), Sven Laur (U. of Tartu), Ando Saab

[TYPES/announce] 14th Estonian Winter School in Computer Science, Last Call for Partic

e notified of admission to the school and acceptance of their talks by 30 January 2009. The participation fee of 5000 EEK includes course materials, full board accommodation at Palmse, transportation from Tallinn to Palmse and back, excursion and conference dinner. Programme committee / organizing

[TYPES/announce] FICS'09 Call for papers - Fixed Points in Computer Science (CSL'09 workshop)

) Masahito Hasegawa (Kyoto University) Anna Ingólfsdóttir (Reykjavik University) Ralph Matthes (IRIT, Toulouse) (co-chair) Jan Rutten (CWI and Vrije Universiteit Amsterdam) Luigi Santocanale (LIF, Marseille) Alex Simpson (University of Edinburgh) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair

[TYPES/announce] FICS'09 2nd Call for papers - Fixed Points in Computer Science (CSL'09 workshop)

(LIF, Marseille) Alex Simpson (University of Edinburgh) Tarmo Uustalu (Institute of Cybernetics, Tallinn) (co-chair) Igor Walukiewicz (LaBRI, Bordeaux) Sponsors EXCS, Estonian Centre of Excellence in Computer Science

[TYPES/announce] 15th Estonian Winter School in Comput. Sci., Call for Partic.

transportation from Tallinn to Palmse, an excursion and conference dinner (by contributing towards the corresponding expense). PROGRAMME COMMITTEE / ORGANISING COMMITTEE * Tarmo Uustalu (Institute of Cybernetics) (chair) * Monika Perkmann (Institute of Cybernetics) (secretary) *

[TYPES/announce] 16th Estonian Winter School in Comput. Sci., Call for Partic.

the fee for a small number of participants. To apply for fee reduction, please fill in the online fee reduction request form. PROGRAMME COMMITTEE / ORGANISING COMMITTEE * Tarmo Uustalu (Institute of Cybernetics) (chair) * Monika Perkmann (Institute of Cybernetics) (secretary) *

[TYPES/announce] PPDP 2011, Call for papers

Thiemann University of Freiburg, Germany Kazunori Ueda Waseda University, Japan Tarmo Uustalu Tallinn University of Technology, Estonia Peter Van Roy Catholic University of Louvain, Belgium For more information, contact the chairs: Program

[TYPES/announce] ETAPS 2012 Call for Satellite Events

TANT DATES -- Satellite event proposals deadline: 6 March 2011. Notification of acceptance: 13 March 2011. -- FURTHER INFORMATION AND ENQUIRIES -- Please contact Keiko Nakata or Tarmo Uustalu, etaps12-w...@cs.ioc.ee.