Univ. Doz. Dr. Karl Svozil
Wasnergasse 13/20,
A-1200 Wien 20 
svozil@tuwien.ac.at
http://tph.tuwien.ac.at/ ~svozil
 
 
 
An das
Dekanat der Formal- und Naturwissenschaftliche Fakultät
der Universitat Wien, 
Dr. Karl Lueger
Ring 1
A-1010 Wien 
 
Berteff: Bewerbung um die Planstelle
eines Universitätsprofessors für „Computational Physics“
 
 
23. März 2000 
 
Spektabilis, sehr
geehrte Damen und Herren!
Bezugnehmend auf
Ihre Ausschreibung bewerbe ich mich um die Planstelle eines
Universitätsprofessors „Computational Physics“.
Hochachtungsvoll, 
 
 
 
Beilagen 
 
Karl Svozil - Curriculum Vitae
 
Born in 1956 in Vienna, Austria. 
Study of Physics at the
Universities of Vienna (Austria) and Heidelberg (Germany) starting in 1975.
Ph.D. in Physics from the University of Vienna 1981. ``Dozentur'' at the
Technische Universität Wien 1988. 
Visiting scholar at the
University of California at Berkeley and at the Lawrence Berkeley Laboratory
(USA) in 1982/83. System Analyst with the Ministry for Science and Education
(Austria) in 1983-1990. Visiting scholar at the Moscow State University and the
Lebedev Institute (Russia) in fall 1996. 
Permanent position at the
Institute for Theoretical Physics of the Technische Universität Wien since
1990. Associate Professor
(Ao. Univ. Prof.) since 1998.
External faculty member, Centre
for Discrete Mathematics and Theoretical Computer Sciences, University
of Auckland, New Zealand since 1996. 
Author of two books and over 90
scientific contributions. Associate Editor of the journal ``Journal of Universal Computer Science''
(Springer) and Associate Editor (Complexity) of the journal ``Chaos,
Solitons & Fractals'' (Elsevier/Pergamon) since 1997. 
 
Main research and project areas
 - Signalling by stochastic
     fractal coding - Stochastic Interference 
- Physical undecidability by
     diagonalization 
- Applications of the theory
     of recursive (computable) functions to physics 
- Quantum information and
     computation theory 
- Quantum logic 
- Automaton logic 
- Genetic algorithms 
 
Publikation list 
 
Monograph 
 
  

·        
K. Svozil,
``Quantum Logic'' (Springer, Singapore, 1998), xviii+214 p. 
 - K. Svozil, ``Randomness and
     Undecidability in Physics'' (World Scientific, Singapore, 1993), xvi+292
     p. 
Journal articles 
·        
G. Krenn, J.
Summhammer and K. Svozil, ``Interferometric
information gain versus interaction-free measurement'' Physical
Review A, to be published. 
 - Karl Svozil and Douglas
     Bridges, ``Constructive
     mathematics and quantum physics'', International Journal of
     Theoretical Physics 39, 501-513 (2000). 
- Karl Svozil, ``Logic
     of reversible automata'', International Journal of Theoretical
     Physics 39, 889-895 (2000). 
- Cristian S. Calude, Peter
     H. Hertling and Karl Svozil, ``Embedding
     Quantum Universes in Classical Ones'', Foundations of Physics
     29, 349-390 (1999). 
- Klaus Ehrenberger, Dominik
     Felix and Karl Svozil, ``Stochastic resonance in cochlea signal
     transduction", Acta Oto-laryngol (Stockholm) 118, 7-8
     (1998); 119, 166-170 (1999). 
- Klaus Ehrenberger and Karl
     Svozil, ``Aging
     and Complexity in Equilibrium Dynamics", Chaos, Solitons
     & Fractals 10, 1085-1086 (1999). 
- Karl Svozil, ``One-to-one",
     Complexity 4(1), 25-29 (1998). 
- Cristian S. Calude, Peter
     H. Hertling and Karl Svozil, ``Kochen-Specker theorem: two geometrical
     proofs'', Quantum Structures II. Tatra Mountains Mathematical
     Publications 15, 133-142 (1998). 
- Karl Svozil, ``Analogues
     of quantum complementarity in the theory of automata'', Stud.
     Phil. Mod. Phys. 29, 61-80 (1998). 
- S. Pulmannová and K.
     Svozil, ``Ideals
     in ortholattices, Bell inequalities and simultaneously definite
     properties'', International Journal of Theoretical Physics in
     print, (1997). 
- G. Krenn and K. Svozil, ``Stronger-than-quantum
     correlations'', Foundation of Physics 28(6), 971-984
     (1998). 
- Cristian Calude, Elena
     Calude, Karl Svozil and Sheng Yu, ``Physical
     versus Computational Complementarity I'', International Journal
     of Theoretical Physics 36, 1495-1523 (1997). 
- Anatolij Dvurecenskij and
     K. Svozil, ``Product
     of Partition Logics, Orthoalgebras and Automata'', International
     Journal of Theoretical Physics 35(11), 2377-2390 (1996). 
- Karl Svozil and Josef
     Tkadlec, ``Greechie
     diagrams, nonexistence of measures in quantum logics and Kochen-Specker
     type constructions'', Journal of Mathematical Physics 37,
     5380-5401 (1996). 
- K. Svozil, D. Felix and K.
     Ehrenberger, ``Amplification
     by stochastic interference'', Journal of Physics A29,
     L351-L354 (1996). 
- Hans Havlicek and K.
     Svozil, ``Density
     conditions for quantum propositions'', Journal of Mathematical
     Physics 37, 5337-5341 (1996). 
- K. Svozil, ``Quantum
     algorithmic information theory'', Journal of Universal Computer
     Science 2, 311-346 (1996). 
- K. Svozil and R. R. Zapatrin,
     ``Empirical
     logic of finite automata: microstatements versus macrostatements'',
     International Journal of Theoretical Physics, 35, 1541-1548
     (1996). 
- Wolfgang Gstoettner, Wolf
     Baumgartner, Jafar Hamzavi, Dominik Felix, Karl Svozil, Reiner Meyer und
     Klaus Ehrenberger, ``Auditory fractal random signals: Experimental data
     and clinical application", Acta Oto-laryngol (Stockholm) 116,
     222-223 (1996). 
- K. Svozil and N. Neufeld, ``
     `Linear' chaos via paradoxical set decompositions'', Chaos,
     Solitons & Fractals 7(5), 785-793 (1996). 
- K. Svozil, ``Halting
     probability amplitude of quantum computers'', Journal of
     Universal Computer Science 1, nr. 3, 1-4 (March 1995). 
- M. Schaller and K. Svozil, ``Automaton
     partition logic versus quantum logic'', International Journal
     of Theoretical Physics 34, 1741-1750 (1995). 
- M. Schaller and K. Svozil, ``Automaton
     logic'', International Journal of Theoretical Physics 35,
     911-940 (1996). 
- K. Svozil, ``Set
     Theory and Physics'', Foundations of Physics, 25,
     1541-1560, 1995. 
- K. Ehrenberger, D. Felix
     and K. Svozil, ``Origin of Auditory Fractal Random Signals in Guinea
     Pigs'', NeuroReport 6, 2117-2120 (1995). 
- A. Dvurecenskij, S.
     Pulmannová and K. Svozil, ``Partition
     Logics, Orthoalgebras and Automata'', Helvetica Physica Acta
     68, 407-428 (1995). 
- K. Svozil, ``Consistent
     use of paradoxes in deriving contraints on the dynamics of physical
     systems and of no-go-theorems'', Foundations of Physics Letters
     8, 523-535 (1995). 
- N. Brunner, K. Svozil and
     M. Baaz, ``Effective quantum observables'' Il Nuovo Cimento B110,
     1397-1413 (1995). 
- N. Brunner, K. Svozil and
     M. Baaz, ``The axiom of choice in quantum theory'' Mathematical Logic
     Quarterly 42 319-340 (1996). 
- G. Krenn, J. Summhammer and
     K. Svozil, ``Interaction-Free Preparation'' Phys. Rev. A53,
     1228-1231 (1996). 
- K. Svozil, ``Time
     paradoxa reviewed'', Phys. Lett. A 199, 323-326 (1995).
     
- K. Svozil, ``How
     real are virtual realities, how virtual is reality? The constructive
     re-interpretation of physical undecidability'', Complexity,
     1, 43-54 (1996). 
- M. Schaller and K. Svozil, ``Partition logics of automata'', Il Nuovo Cimento B109,
     167-176 (1994). 
- K. Svozil, D. Felix and K.
     Ehrenberger, ``Multiple-channel fractal information coding of mammalian
     nerve signals'', Biochemical and Biophysical Research Communications 199,
     911-915 (1994). 
- K. Svozil, ``Squeezed
     fermion states'', Phys. Rev. Lett. 65, 3341-3343 (1990). 
- P. W. Milonni and K.
     Svozil, ``Impossibility of measuring faster-than-light signaling by the
     Scharnhorst effect'', Phys. Lett. B248, 437-438 (1990). 
- K. Svozil, ``Constructive
     chaos by Cellular Automata and possible sources of an arrow of time'',
     Physica D45, 420-427 (1990); reprinted Cellular Automata,
     Theory and Experiment, ed. by H. Gutowitz (MIT Press, Cambridge, MA,
     1991). 
- K. Svozil, ``Comment on
     `Comment on quantum cosmology and the initial state of the universe' '',
     Phys. Rev. D41, 1353-1354 (1990); ``Erratum: Comment on`Comment on
     quantum cosmology and the initial state of the universe' '', Phys. Rev. D44,
     567-568 (1991); 
- K. Svozil, ``Test of local
     causality with very short light pulses'', Phys. Rev. A39, 2222-2224
     (1989); ``Reply to ``Comment on `Test of local causality with very short
     light pulses' '' Phys. Rev. A41, 1729 (1990); 
- K. Svozil, ``The quantum
     coin toss-testing microphysical undecidability'', Phys. Lett. A143,
     433-437 (1990). 
- K. Svozil, ``Are
     chaotic systems dynamically random?'', Phys. Lett. A140,
     5-9 (1989). 
- K. Svozil and R. Lassnig,
     ``Raman spectroscopy in high- superconducting materials'', Phys. Rev. B37,
     3654-3656 (1988). 
- K. Svozil and A. Zeilinger,
     ``Is there a breakdown of QED in (g-2)-measurements?'', Physica
     Scripta T21, 122 (1988). 
- K. Svozil, ``Heavy fermion
     superconductivity via Kondo type pairing'', phys. stat. sol. (b) 147,
     635-647 (1988) 
- K. Svozil, ``New form of
     pair interaction in superconductivity'', Phys. Rev. B36, 715-717
     (1987). 
- V. V. Moshchalkov and K.
     Svozil, ``Phenomenological model of superconductivity in UThBe'', Phys.
     Lett. A120, 356-360 (1987). 
- O.V.Dolgov, E.P.Fetisov,
     D.I.Khomskii and K. Svozil, ``Model of interband pairing in mixed valence
     and heavy fermion systems'', Z. Phys. B 67, 63-68 (1987). 
- K. Svozil, ``Raman
     scattering as a test of phonon mediated pairing in heavy fermion systems
     via the Kondo volume collapse'', Phys. Rev. B35, 7113-7114 (1987). 
- K. Svozil, ``Quantum field
     theory on fractal space-time'', J. Phys. A20, 3861-3875 (1987). 
- K. Svozil,
     ``Renormalization of the quantum theory of the solid state'', Fortschritte
     der Physik (Progress of Physics) 35, 65-85 (1987). 
- K. Svozil, ``Model for p-
     and d-wave superconductivity in heavy fermion systems'', Phys. Rev. B33,
     602 - 604 (1986). 
- M. Kreuzer and K. Svozil,
     ``QED between plates: mass and anomalous magnetic moment of an electron'',
     Phys. Rev. D34, 1429-1437 (1986). 
- K. Svozil, ``Connections
     between deviations from Lorentz transformation and relativistic
     energy-momentum relation'', Europhysics Letters 2, 83-85 (1986). 
- K. Svozil, ``Operational
     perception of space-time coordinates in a quantum medium'', Il
     Nuovo Cimento 96B, 127-139 (1986). 
- K. Svozil and A. Zeilinger,
     ``Dimension of space-time'', Journal of Modern Physics A1, 971-990
     (1986). 
- K. Svozil, ``Dimensional
     reduction via dimensional shadowing'', J. Phys. A19,
     L1125-L1127 (1986). 
- K. Svozil, ``Are
     quantized fields Cellular Automata?'', Phys. Lett. A119,
     153-156 (1986). 
- A. Zeilinger and K. Svozil,
     ``Measuring
     the dimension of space-time'', Phys. Rev. Lett. 54, 2553 -
     2555 (1985). 
- K. Svozil, ``Mass and
     anomalous magnetic moment of an electron between two conducting parallel
     plates'', Phys. Rev. Lett. 54, 742 - 744 (1985). 
- K. Svozil, ``Raman
     scattering on superconductors in the presence of charge-density states'',
     Phys. Rev. B31, 4688 - 4689 (1985). 
- K. Svozil, ``A new type of
     charge screening due to phonon-Coulomb mixing in many-body physics'',
     Phys. Lett. 106A, 264 - 266 (1984). 
- K. Svozil, ``Comprehensive
     study of the renormalization of the theory of strong-coupling
     superconductors'', Phys. Rev. B30, 1357 - 1361 (1984). 
- K. Svozil, ``Weak spectral
     functions and their application to the decay of the W-boson'',
     Lettere al Nuovo Cimento 39, 294 - 298 (1984). 
- K. Svozil, ``Remarks on a
     lower bound for the critical temperature from the real-frequency
     Eliashberg equations'', Acta Physica Austr. 55, 229 - 232 (1984). 
- H. Pietschmann, H.
     Rupertsberger and K. Svozil, ``Possible tests of the weak boson
     self-coupling below the -threshold'', Z. Physik C12, 367 - 368
     (1982). 
- H. Rupertsberger and K.
     Svozil, ``Hadronic final states in the decay and the weak boson
     self-energy'', Acta Physica Austr. 54, 255-263 (1982). 
Contributions to conferences
& scientific books 
·        
K. Svozil, ``Information
and Complementarity'', The Quest for a Unified Theory of Information,
ed. b. Wolfgang Hofkirchner (Gordon an Breach Publishers, Amsterdam, 1999), pp.
305-314. 
 - Karl Svozil, ``Quantum logic. A brief
     outline'', Mathematical and Quantum Logic. Proceedings of the
     4th Summer School on Analysis, Geometry and Mathematical Physics on August
     3-9, 1997 in Karlovassi, Samos, ed. by K. Keremedis (Sete, Karlovassi,
     1998). 
- Karl Svozil, ``The
     limits of mathematics. A book review'', Complexity 3,
     63 (1998). 
- K. Svozil, ``Reversible
     computation as a model for the quantum measurement process'', in Cybernetics
     and Systems '98 Volume I, ed. by R. Trappl (Austrian Society for
     Cybernetic Studies, Vienna, 1998), pp. 102-106. 
- Karl Svozil, ``The
     Church-Turing Thesis as a Guiding Principle for Physics'', in Unconventional
     Models of Computation, ed. by Cristian S. Calude, John Casti
     and Michael J. Dinneen (Springer, Singapore, 1998), pp. 371-385. 
- K. Svozil, ``Information
     and the Complementarity Game'', World Futures 50,
     523-532 (1997). 
- K. Svozil, ``On
     self-reference and self-description'', La nuova Critica. Nuova
     Serie 29(1), 75-86 (1997). Reprinted in Functional
     Models of Cognition; ed. by A. Carsetti (Kluwer, Dordrecht,
     2000), p. 189-197. 
- K. Svozil, ``Undecidability
     everywhere?'', in Boundaries
     and Barriers. On the Limits to Scientific Knowledge, ed. by J.
     L. Casti and A. Karlquist (Addison-Wesley, Reading, MA, 1996), pp.
     215-237. 
- K. Svozil, ``The physics of
     virtual realities'', in Endophysics: The World From Within, ed. by
     George Kampis and Peter Weibel (Aerial, Santa Cruz, 1993). 
- K. Svozil, ``Time
     generated by intrinsic observers'', Cybernetics and Systems
     '96, Proceedings of the 13th European Meeting on Cybernetics and Systems
     Research, ed. by Robert Trappl (Austrian Society for Cybernetic
     Studies, Vienna, 1996), pp. 162-166. 
- K. Svozil, ``Quantum
     computation and complexity theory I'', Bulletin of the European
     Association of Theoretical Computer Sciences 55, 170-207
     (1995). 
- K. Svozil, ``Quantum
     computation and complexity theory II'', Bulletin of the
     European Association of Theoretical Computer Sciences 56,
     116-136 (1995). 
- Cristian Calude, Douglas I.
     Campbell, Karl Svozil and Doru Stefanescu, ``Strong
     Determinism vs. Computability'', The Foundational Debate,
     Complexity and Constructivity in Mathematics and Physics, Werner
     DePauli Schimanovich, Eckehart Köhler and Friedrich Stadler, eds. (Kluwer, Dordrecht,
     Boston, London, 1995), p. 115-131. 
- K. Svozil, ``On
     the computational power of physical systems, undecidability, the
     consistency of phenomena and the practical uses of paradoxa'', in Fundamental
     Problems in Quantum Theory: A Conference Held in Honor of Professor John
     A. Wheeler, ed. by D. M. Greenberger and A. Zeilinger, Annals of
     the New York Academy of Sciences 755, 834-841 (1995). 
- K. Svozil, ``A
     constructivist manifesto for the physical sciences'', in The
     Foundational Debate, Complexity and Constructivity in Mathematics and
     Physics, Werner DePauli Schimanovich, Eckehart Köhler and Friedrich
     Stadler, eds. (Kluwer, Dordrecht, Boston, London, 1995), p. 65-88. 
- K. Svozil,
     ``Extrinsic-Intrinsic Concept and Complementarity'', in Inside Versus
     Outside, ed. by H. Atmanspacher, G. J. Dalenoort (Springer, Berlin,
     1994), p. 273-288. 
- K. Svozil, ``How many
     physical parameters form a minimal and complete description of the
     world?'' in Nuclei in the Cosmos, ed. by H. Oberhummer (Springer,
     Berlin, 1991). 
- M. Baaz, N. Brunner and K.
     Svozil, ``Interpretations of combinatory algebras'', in Philosophy of
     Mathematics, Part 1, ed. by J. Czermak (Hölder-Pichler-Tempsky,
     Berlin, 1993), p. 393-406. 
- K. Svozil, ``Mathematical
     foundation of physical chaos'', in Gödel Jahrbuch 1, ed.
     by N. Brunner et al. (Vienna 1988), 53-85. 
- K. Svozil and R. Lassnig,
     ``Test of phonon mediated pairing from Raman scattering on
     high-temperature superconducting materials'', in High- superconductors,
     ed. by W. Weber (Plenum Press, New York 1988), p. 177-182. 
- K. Svozil, ``Metrology of
     space-time dimension'', in Fundamental Aspects of Quantum Theory
     (Proc. NATO Advanced Research Study Seminar, Como 1985), eds. V.
     Gorini and A. Frigerio, (Plenum, New York), p. 447-449. 
Patent 
·        
Vorrichtung zur Abkühlung von punktförmigem Kühlgut
durch Strahlungswärme, Patent Nr. 393900, erteilt am 12. 11. 1991. 
 
Lehrveranstaltungen  
 
 - 132.002
     VO Quantenberechenbarkeit
     u. -komplexitätstheorie SS 2,0 (Inst. E 136) Karl SVOZIL
     
- 132.015
     PR PrA
     Chaotische Systeme WS 8,0 oder SS 8,0 (Inst. E 136) Karl SVOZIL
     
- 132.028
     PV Privatissimum
     für Diplomanden WS 3,0 oder SS 3,0 (Inst. E 136) Karl SVOZIL
     
- 132.038
     SV Theorie
     der Supraleitung SS 2,0 (Inst. E 136) Karl SVOZIL
     
- 132.042
     AG Logische
     Methoden in der Theoretischen Physik WS 2,0 und SS 2,0
     (Inst. E 136)
     Karl SVOZIL
     
- 135.295
     UE Methoden
     d. Theoretischen Physik UE WS 3,0 (Inst. E 136) Karl SVOZIL 
- 272.017 SE Computer Aided Exploration in Architectural Design WS 2,0 (Inst. E 272) Karl SVOZIL 
 
Recent Seminars, Posters & Lectures
 
 
 - C. Calude, D.I. Campbell,
     K. Svozil, D. Stefanescu 
 Strong determinism vs. computability
 OumlPG-Jahrestagung 1995, Leoben, (Austria)
 21.9.1995
- A. Dvurecenskij, K. Svozil 
 Product Partition logics and their relation to automata
 ÖPG 46. Jahrestagung, Linz, (Austria)
 26.9.1996
- K. Krenn, J. Sumhammer, K. Svozil 
 Interaction-free preparation
 OumlPG-Jahrestagung 1995, Leoben, (Austria)
 20.9.1995
- K. Svozil 
 Algorithmic information theory for quantum computations
 ÖPG 46. Jahrestagung, Linz,
     (Austria)
 26.9.1996
- K. Svozil 
 Automatenlogik und das Kochen-Specker-Theorem
 Institut für Algebra und diskrete Mathematik, Technische Universität Wien,
     Wien, (Austria)
 8.10.1996
- K. Svozil 
 Automaton logic analogues to quantum logics
 Department of Computer Sciences, University of Auckland, Auckland, (New
     Zealand)
 17.2.1997
- K. Svozil 
 Automaton logic and the Kochen-Specker theorem
 Institut für Theoretische Physik, ETH Zürich, Zürich, (Switzerland)
 7.5.1996
- K. Svozil 
 Automaton logic as an example for nonboolean propositional systems
 Department of Control Engineering, Faculty of Electrical Engineering,
     Chech Technical University, Praha, (Czech Republic)
 25.11.1997
- K. Svozil 
 Automaton reality
 University of Budapest, Department of Physics, Budapest, (Hungary)
 18.4.1996
- K. Svozil 
 Complementarity games, quantum mechanics, and a theorem by Kochen and
     Specker
 Institut für Experimentalphysik, Universität Innsbruck, Innsbruck,
     (Austria)
 6.5.1996
- K. Svozil 
 Complementarity in the light of the interaction-free wave function
     collapse
 Atominstitut der österreichischen Universitäten, Wien, (Austria)
 24.4.1996
- K. Svozil 
 Consistent use of paradoxes in deriving constraints on the dynamics of
     physical systems and of no-go-theorems
 OumlPG-Jahrestagung 1995, Leoben, (Austria)
 21.9.1995
- K. Svozil 
 Constructive mathematics and quantum foundations
 Quantum Structures '98, Liptovsky Jan, (Slovakia)
 31.8.1998
- K. Svozil 
 Constructive techniques in physical theory
 Kurt Gödel Seminar, TU Wien, Wien, (Austria)
 19.6.1995
- K. Svozil 
 Einbettungen von Quantenlogiken
 Institut für Algebra, Technische Universität Wien, Wien, (Austria)
 16.3.1999
- K. Svozil 
 Extrinsic versus intrinsic representability
 Limits to Scientific Knowledge, Abisko, (Sweden)
 17.5.1995
- K. Svozil 
 Halting probability amplitude of quantum computers
 OumlPG-Jahrestagung 1995, Leoben, (Austria)
 21.9.1995
- K. Svozil 
 Interaction-free measurements and preparations
 Department of Mathematics, University of Waikato, Waikato, (New Zealand)
 9.2.1996
- K. Svozil 
 Intrinsic perception, generation of space-time scales and
     complementarity games
 13th European Meeting on Cybernetics and Systems Research, Universität
     Wien, Wien, (Austria)
 10.4.1996
- K. Svozil 
 Introduction to quantum logics for computer scientists
 Department of Computer Sciences, University of Auckland, Auckland, (New
     Zealand)
 13.2.1997
- K. Svozil 
 Is constructive mathematics good for physics?
 Computability and Related Matters in Mathematics and Physics, CDMTCS and
     the Department of Mathematics, University of Waikato, Hamilton, (New
     Zealand)
 21.2.1997
- K. Svozil 
 New results in automata logic
 Quantum Structures '98, Liptovsky Jan, (Slovakia)
 1.9.1998
- K. Svozil 
 Position statement on randomness and undecidability in physics
 International Meeting, Wien, (Austria)
 14.3.1996
- K. Svozil 
 Quantum algorithmic information theory
 Chaitin Complexity and its Applications, Mangalia, (Romania)
 2.7.1995
- K. Svozil 
 Quantum complementarity formalized by finite automata
 WIA 99-1999 WORKSHOP ON IMPLEMENTING AUTOMATA, Potsdam, (Germany)
 18.7.1999
- K. Svozil 
 Quantum computation and complexity theory
 Department of Computer Science, University of Auckland, Auckland, (New
     Zealand)
 23.2.1996
- K. Svozil 
 Quantum embedding options and automaton logic
 Institute for Theoretical Physics, University of Lecce, Lecce, (Italy)
 6.5.1999
- K. Svozil 
 Quantum information theory and recursion theoretic paradoxa
 Second Conference on the Foundations of Information Science, TUW, Wien,
     (Austria)
 13.6.1996
- K. Svozil 
 Quantum logic
 4th International Conference on Analysis in Mathematical Physics, Samos,
     (Greece)
 10.8.1997
- K. Svozil 
 Quantum logic
 Mathematical Foundations of Computer Science 1998, Brno, (Czech Republic)
 29.8.1998
- K. Svozil 
 Quantum logic and partial algebras
 Atominstitut der österreichischen Universitäten, Wien, (Austria)
 22.11.1995
- K. Svozil 
 Quantum recursion theory
 Department of Mathematics; University of Wellington, Wellington, (New
     Zealand)
 1.3.1996
- K. Svozil 
 Quantum recursion theory
 10th Int. Congress of Logic, Methodology and Philosophy of Science,
     Florenz, (Italy)
 23.8.1995
- K. Svozil 
 Reversibility and quantum measurements
 Cybernetics and Systems '98, Vienna, (Austria)
 15.4.1998
- K. Svozil 
 Reversible computation
 Institute of Computer Sciences, University of Bratislava, Bratislava,
     (Slovakia)
 24.11.1997
- K. Svozil 
 Reversible computation and automata
 Unconventional Models of Computation, Auckland, (New Zealand)
 6.1.1998
- K. Svozil 
 Set theory and physics
 Chaitin Complexity and its Applications, Mangalia, (Romania)
 2.7.1995
- K. Svozil 
 Stochastic Interference
 International Workshop on Cochlear Implants, AKH,Wien, (Austria)
 25.10.1996
- K. Svozil 
 The diagonalization method in quantum recursion theory
 ÖPG-Jahrestagung 1995, Leoben, (Austria)
 21.9.1995
- K. Svozil 
 Trends in information theory
 Complexity and information, Rio de Janeiro, (Brazil)
 29.11.1995
- K. Svozil 
 Varieties of physical undecidability
 Limits of Scientific Knowledge, Abisko, (Sweden)
 10.5.1995
- K. Svozil, D. Felix, K. Ehrenberger
     
 Amplification by stochastic interference
 ÖPG-Jahrestagung 1995, Leoben, (Austria)
 21.9.1995
- K. Svozil, J. Tkadlec 
 Existence of measures on quantum propositions and Kochen-Specker-type
     constructions
 ÖPG 46. Jahrestagung, Linz,
     (Austria)
 26.9.1996