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