Dr. Igor Valerievich Tarasyuk

 

Conferences and Meetings

  • Conferences participation

    1. 4th International Conference on Applied Logics - 95 (AL'95) and 2nd Workshop on Non-Standard Logics and Logical Foundations of Computer Science - 95 (NSL'95), Irkutsk, Russian Federation, June 15-18, 1995.
    2. 5th Workshop on Concurrency, Specification and Programming - 96 (CS&P'96), Humboldt-University of Berlin, Berlin, Germany, September 25-27, 1996.
    3. 4th Symposium on Logical Foundations of Computer Science - 97 (LFCS'97), State University of Yaroslavl, Yaroslavl, Russian Federation, July 6-12, 1997.
    4. International Summer School Marktoberdorf on Computational Logic - 97 (CL'97), Marktoberdorf, Germany, July 29 - August 10, 1997.
    5. 4th Workshop on Logic, Languages, Information and Computation - 97 (WoLLIC'97), Fortaleza (Ceara), Brazil, August 19-22, 1997.
    6. 3rd Siberian Congress on Applied and Industrial Mathematics - 98 (INPRIM'98), Novosibirsk, Russian Federation, June 22-27, 1998.
    7. Mathematical Foundations of Computer Science - 98 (MFCS'98), Workshop on Concurrency , Brno, Czech Republic, August 27-29, 1998.
    8. International Refinement Workshop and Formal Methods Pacific - 98 (IRW/FMP'98), Canberra, Australia, September 29 - October 2, 1998.
    9. Center for Office and Information Technology International Computer Exhibition - 99 (CeBIT'99), Hannover, Germany, March 18-24, 1999.
    10. Summer School in Semantics of Computation - 99 (SemSum'99), BRICS, University of Aarhus, Aarhus, Denmark, May 3-7, 1999.
    11. International Student Week in Ilmenau - 99 (ISWI'99), Computer Ethics Group, Technical University of Ilmenau, Ilmenau, Germany, May 8-16, 1999.
    12. 5th International Summer School on Distributed Computing: Advanced Distributed Computing - 99 (ISSDC'99), University of Siena, Certoza di Pontignano, Pontignano (Siena), Italy, June 21-27, 1999.
    13. Workshop on the Graduate Programme of Technical University of Dresden - 00: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (SPOML'00), Reinhardtsdorf (Schoena), Saxony, Germany, February 7-11, 2000. My talk: Tau-equivalences and refinement.
    14. 1st Euro Summer School on Trends in Computer Science - 00 (FMPA'00), Berg en Dal (Nijmegen), The Netherlands, July 3-7, 2000.
    15. Workshop on the Graduate Programme of Technical University of Dresden - 01: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics (SPOML'01), Reinhardtsdorf (Schoena), Saxony, Germany, February 5-9, 2001. My talk: A class of stochastic Petri nets with step semantics and related equivalence notions.
    16. 18th Annual Symposium on Theoretical Aspects of Computer Science - 01 (STACS'01), Technical University of Dresden, Dresden, Germany, February 15-17, 2001.
    17. 1st International School on Formal Methods for the Design of Computer, Software and Communication Systems - 01: Process Algebras (SFM-01:PA), Bertinoro, Italy, July 23-28, 2001.
    18. 13th European Summer School on Logic, Language and Information - 01 (ESSLLI'01), Helsinki University, Helsinki, Finland, August 13-24, 2001.
    19. 6th International Conference on Parallel Computing Technologies - 01 (PaCT'01), Novosibirsk, Russian Federation, September 3-7, 2001.
    20. Joint Workshop of the Graduate Programme of Technical University of Dresden - 02: Specification of Discrete Processes and Systems of Processes by Operational Models and Logics, Graduiertenkolleg 334, and that of Ludwig-Maximilian University of Munich: Logic in Computer Science, Graduiertenkolleg 301 (JWS'02), Gorisch, Saxony, Germany, February 11-13, 2002.
    21. 2nd EEF Summer School on Specification, Refinement and Verification - 02 (SRV'02), Turku Center for Computer Science (TUCS), Turku, Finland, August 19-30, 2002.
    22. Research Seminar on Stochastic Models - 05 (RSSM'05), Real-Time and Concurrent Systems group (ReTiCS), High School of Computer Science Engineering of Albacete (ESII), Albacete, Spain, July 6-7, 2005. My invited talk: Labeled DTSPNs as a semantic area for stochastic process algebras.
    23. Seminar on Dependability Engineering - 05 (SDE'05), Graduiertenkolleg TrustSoft, CvO UO, Oldenburg, Germany, July 21, 2005. My invited talk: Equivalences for net models of concurrent stochastic systems.
    24. 1st Summer School of the Rheinland-Pfalz Cluster of Excellence "Dependable Adaptive Systems and Mathematical Modeling" - 06 (DASMOD'06), University of Kaiserslautern, Kaiserslautern, Germany, July 31 - August 13, 2006.
    25. 18th Workshop on Concurrency, Specification and Programming - 09 (CS&P'09), Krakow-Przegorzaly, Poland, September 28-30, 2009. My talk: Performance evaluation in dtsPBC.
    26. 8th Ershov Informatics Conference - 11 (PSI'11), Novosibirsk, June 27 – July 1, 2011. My presentation: Performance analysis of the dining philosophers system in dtsPBC.
    27. Russian Conference on Modeling of Informatics Systems - 11 (MSI'11), Novosibirsk, November 8-11, 2011. My talk: Equivalences of Petri nets with invisible transitions.
    28. 6th International Workshop on Practical Applications of Stochastic Modelling - 12 (PASM'12), Imperial College London, UK, September 17, 2012. Our talk: Discrete time stochastic Petri box calculus with immediate multiactions.
    29. 24th International Conference on Analytical and Stochastic Modelling Techniques and Applications - 17 (ASMTA'17), Newcastle upon Tyne, UK, July 10-12, 2017.
  • Conferences organization

    1. 2000 February - March - Scientific Secretary of IIS SB RAS subsection within "Computing methods and computer science" section at 4th Siberian Congress On Industrial And Applied Mathematics - 00 (INPRIM'00), Novosibirsk, June 26 - July 1, 2000.
    2. 2008 February - April - Head of two subsections of the "Information technologies" section at 46th International Scientific Student Conference "A student and scientific and technical progress" - 08 (ISSC'08), Novosibirsk, April 26-30, 2008.
    3. 2009 February - April - Head of two subsections of the "Information technologies" section at 47th International Scientific Student Conference "A student and scientific and technical progress" - 09 (ISSC'09), Novosibirsk, April 11-15, 2009.
  • Conference reviewer activity

    1. 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science - 10 (FSTTCS'10), Chennai, India, December 15-18, 2010.
    2. 8th Ershov Informatics Conference - 11 (PSI'11), Akademgorodok, Novosibirsk, Russian Federation, June 27 - July 1, 2011.
    3. 23rd International Conference on Concurrency Theory - 12 (CONCUR'12), Newcastle upon Tyne, UK, September 3-8, 2012.
    4. 1st Symposium on Dependable Software Engineering: Theories, Tools and Applications - 15 (SETTA'15), Nanjing, China, November 4-6, 2015.
    5. 38th International Conference on Applications and Theory of Petri Nets and Concurrency - 17 (PN'17), Zaragoza, Spain, June 25-30, 2017.