Mika Hirvensalo: Conference participation
- 3rd International Conference on Developments in Language
(DLT'97). Thessaloniki, Greece, July 1997.
Talk: "The Reversibility in Quantum Computation Theory", R.
- 2nd international colloquium Machines et Calculs Universels
(MCU'98). Metz, France, March 1998.
Talk: "Copying quantum computer makes NP-complete problems tractable", R.
- Ongoing Workshop of DNA computing. Leiden, Netherlands, July 1998.
Talk: "Introduction to Quantum Computing", I.
- ISI Workshop on Quantum Computation. Turin, Italy, July 1998.
- Frontiers Between Decidability and Undecidability (FBDU'98)
(satellite workshop to Mathematical Foundations of Computer Science 98).
Brno, Czech Republik, August 1998.
"Copying quantum computer makes NP-complete problems tractable", R.
- Algorithms in Quantum Information Processing. Chicago, USA,
16th Annual Symposium on Theoretical Aspects of Computer
(STACS'99). Trier, Germany, March 1999.
Talk: "Decidability and
undecidability of marked PCP" (joint work with V. Halava and R. de Wolf),
Turku Symposium on Number Theory. Turku, Finland, May-June 1999.
- 4th International Conference on Developments in Language
(DLT'99). Aachen, Germany, July 1999.
7th Nordic Combinatorial Conference. Turku, Finland, August
12th International Symposium on Fundamentals of Computation
(FCT'99). Iasi, Romania, August-September 1999.
Miniworkshop on Functional Analysis and Quantum Mechanics. Turku,
Finland, June 2001.
Talk: "Quantum computation", I.
Natural Computing Days. Newcastle, UK, March 2002.
"Computing and Quantum Physics", I.
- 27th International Symposium on Mathematical Foundations of
Computer Science (MFCS'02). Warsaw, Poland, August 2002.
Talk: "Computing Partial Information out of Intractable One - The
First Digit of 2n at Base 3 as an Example" (joint work with J.
4th International Conference on Words. Turku, Finland,
International Colloquium on Automata, Languages, and
Programming (ICALP'04). Turku, Finland, August 2004.
16th Annual Conference and Convocation of Academia Europaea.
Helsinki, Finland, September 2004.
Talk: "Comparing quantum and
classical information", I.
Conference on Adaptive and Natural Computing
Algorithms (ICANNGA'05). Coimbra, Portugal, March 2005.
Talk: "Quantum versus Classical Information", I.
Quantum Information, Computation and Logic: Exploring New
Connections. Waterloo, Canada, July 2005.
5th International Conference on Words. Montreal, Canada,
Workshop on Fibonacci Words. Turku, Finland, September 2006.
33rd International conference on Current Trends in Theory and
Practice of Computer Science (SOFSEM'07), Harrachov, Czech Republic,
Talk: "Improved Undecidability results on the Emptiness
Problem of Probabilistic and Quantum Cut-Point Languages", R.
Workshop on Algorithms on Words, Turku, Finland,
Conference on Algorithmic Number Theory,
Turku, Finland, May 2007.
Talk: "How to Compute the First Digit of Fibonacci Numbers in Polynomial
Developments in Language Theory (DLT'07),
Turku, Finland, July 2007.
Workshop on Probabilistic and Quantum Automata (PQA),
Turku, Finland, July 2007, N/A.
18th International Conference on Artificial Neural
Prague, Czech Republic, September 2008
Talk: Quantum Computing, Targets, Principles, and Obstacles, I
2nd Talk: Tutorial on Quantum Computing, I
12th International Conference on Developments in Language
Theory (DLT 2008), Kyoto,
Japan, September 2008
Talk: Various Aspects of Finite Quantum Automata, I.
Conference on Neural Information Processing of the Asia-Pacific Neural
Network Assembly. Auckland, New Zealand, November 2008
Talk: Quantum and Neural Perspectives, I.
Workshop and Tutorials on Natural Computing. Enschede, The
Netherlands, October 2010
Talk: Quantum Computing - A Review, I.
Computation 2011, Turku, Finland, June 2011
Talk: Tutorial on Quantum Information, I
Workshop on Perspective
Technologies and Computational Models (PTCM 2011) ,
Kazan, Russia, September 2011.
Talk: Lectures on Quantum Information, Quantum Computing, and Quantum
Conference on Parallel Computing
Technologies , Kazan, Russia, September 2011.
Russian-Finnish Symposium on Discrete Mathematics, St. Petersburg,
Russia, September 2011.
Talk: A method for computing the determinant, R.
Foundations in Computer Science, Thessaloniki, Greece, November
Talk: Quantum Automata Theory - A Review, I.
Schloss Dagstuhl Seminar on Design of Reversible and Quantum Circuits,
Wadern, Germany, December 2011.
Talk: Quantum Automata Theory - A Review, I.
2nd Russian-Finnish Symposium on Discrete
Mathematics, Turku, Finland, September 2012.
Quantum and Classical Complexity, Riga, Latvia, July 2013.
Geometric Tools for Automata Complexity, N/A.
9th International Conference on Words, Turku, Finland,
Arto Salomaa 80, Turku, Finland, June 2014.
16th International Workshop on Descriptional Complexity of
Formal Systems, Turku, Finland, August 2014.
R: Regular talk accepted by the program committee
I: Invited talk
To my homepage