Tomas Vojnar – Membership in Conference/Workshop Committees

2025

TACAS'25 – 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Hamilton, Canada.

2024

TACAS'24 – 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Luxembourg.
iFM'20 – 19th International Conference on integrated Formal Methods, Manchester, UK.
FMCAD'24 – 24th International Conference on Formal Methods in Computer-Aided Design, Prague, Czechia.
FMCAD'24 – 24th International Conference on Formal Methods in Computer-Aided Design, Prague, Czechia.
SOSE'24 – 18th IEEE International Conference on Service-Oriented System Engineering, Shanghai, China.

Previous years

TACAS'23 – 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Paris, France.

TACAS'22 – 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Munich, Germany.

SAS'20 – 27th Static Analysis Symposium, Chicago, USA.

iFM'20 – 16th International Conference on integrated Formal Methods, Lugano, Switzerland.

MOVEP'20 – 14th Summer School on Modelling and Verification of Parallel Processes, Grenoble, France.

InterAVT'20 – Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020, Dublin, Ireland.

LATA'20 – 14th International Conference on Language and Automata Theory and Applications, Milano, Italy.

APLAS'19 – 17th Asian Symposium on Programming Languages and Systems, Bali, Indonesia.

iFM'19 – 15th International Conference on integrated Formal Methods, Bergen, Norway.

SAS'19 – 26th Static Analysis Symposium, Porto, Portugal.

InterAVT'19 – Interactive Workshop on the Industrial Application of Verification and Testing, Prague, Czech Republic.

CAV'18 – 30th International Conference on Computer-Aided Verification, Oxford, UK.

FMICS'18 – 23rd International Conference on Formal Methods for Industrial Critical Systems, Maynooth, Ireland.

MOVEP'18 – 13th Summer School on Modelling and Verification of Parallel Processes, Paris-Saclay, Cachan, France.

TACAS'18 – 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece.

ICALP'18 – 45th International Colloquium on Automata, Languages, and Programming, Prague, Czech Republic.

CONCUR'17 – 28th International Conference on Concurrency Theory, Berlin, Germany.

CAV'17 – 29th International Conference on Computer-Aided Verification, Heidelberg, Germany.

SV-COMP'17, SV-COMP'16, SV-COMP'15 – 4th-6th International Competition on Software Verification held at TACAS'14-16.

FMCAD'16 – 16th International Conference on Formal Methods in Computer-Aided Design, Mountain View, California, USA.

CAV'16 – 28th International Conference on Computer Aided Verification, Toronto, Ontario, Canada (ERC).

MUSEPAT'16 – Multicore Software Engineering, Performance, Applications and Tools, a track of the 31st ACM/SIGAPP Symposium on Applied Computing – SAC 2016, Pisa, Italy (track chair).

LPAR-20 – 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Fiji.

MEMICS'15 – 10th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic (general chair).

SynCoP'15 – 2nd International Workshop on Synthesis of Complex Parameters, London, UK.

MUSEPAT'14 – 2nd International Conference on Multicore Software Engineering, Performance, and Tools, Hong Kong, China.

TASE'14 – 8th International Symposium on Theoretical Aspects of Software Engineering, Changsha, China.

SV-COMP'14 – 3rd International Competition on Software Verification held at TACAS'14, Grenoble, France. Previously SV-COMP'13 (Rome, Italy) a SV-COMP'12 (Tallinn, Estonia).

INFINITY'13 – 15th International Workshop on Verification of Infinite-State Systems, Hanoi, Vietnam.

MUSEPAT'13 – 1st International Conference on Multicore Software Engineering, Performance, and Tools, St. Petersburg, Russia.

SVARM-VERIFY'12 – Joint SVARM & VERIFY Workshop 2012, Manchester, UK.

FOSSACS'12 – 15th International Conference on Foundations of Software Science and Computation Structures, Tallinn, Estonia.

MEMICS'12 (Znojmo, PC co-chair), MEMICS'11 (Lednice, PC co-chair), MEMICS'10 (Mikulov, PC co-chair), MEMICS'09 (Znojmo, general chair), MEMICS'08 (Znojmo, PC co-chair), MEMICS'07 (Znojmo), MEMICS'06 (Mikulov), MEMICS'05 (Znojmo) – International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Czech Republic.

ATVA'11 – 9th International Symposium on Automated Technology for Verification and Analysis, Taipei, Taiwan.

INFINITY'11 – 13th International Workshop on Verification of Infinite-State Systems, Taipei, Taiwan.

TACAS'11 – 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbrücken, Germany.

SOFSEM'11 – 37th International Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia.

CEE-SET'11 – 5th IFIP TC2 Central and East European Conference on Software Engineering Techniques, Debrecen, Hungary.

INFINITY'10 –12th International Workshop on Verification of Infinite-State Systems, Singapore.

GandALF'10 – 1st International Symposium on Games, Automata, Logics and Formal Verification, Minori, Italy.

SVARM'10 – Workshop on Synthesis, Verification, and Analysis of Rich Models, Edinburgh, United Kingdom. (co-chair)

SOFSEM'10 – 36th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův mlýn, Czech Republic.

ICTAC'09 – 6th International Colloquium on Theoretical Aspects of Computing, Kuala Lumpur, Malaysia.

CEE-SET'09 – 4rd IFIP TC2 Central and East European Conference on Software Engineering Techniques, Krakow, Poland.

SOFSEM'09 – 35th International Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův mlýn, Czech Republic.

INFINITY'08 – 10th International Workshop on Verification of Infinite-State Systems, Toronto, Canada. (co-chair)

CEE-SET'08 – 3rd IFIP TC2 Central and East European Conference on Software Engineering Techniques, Brno, Czech Republic.

SOQUA'07 – 4th International Workshop on Software Quality Assurance, Dubrovnik, Croatia.

PNSE'07 – International Workshop on Petri Nets and Software Engineering Siedlce, Poland.

ISIM'07 (Hradec nad Moravicí), ISIM'06 (Přerov) – International Conference on Information Systems Implementation and Modelling, Czech Republic.

INFINITY'06 – 8th International Workshop on Verification of Infinite-State Systems, Bonn, Germany.

MOCA'06 (Turku, Finlad), MOCA'04, MOCA'02, MOCA'01 (Aarhus, Denmark) – International Workshops on Modelling of Objects, Components, and Agents.