AsubL (Take 6) – Algebra and substructural Logics – Cagliari, 11th – 13th June 2018

 Senza categoria  Comments Off on AsubL (Take 6) – Algebra and substructural Logics – Cagliari, 11th – 13th June 2018
Sep 292017
 

The ALOPHIS Group is proud to announce that University of Cagliari will host the next Asubl (Take 6) workshop on Algebra and substructural Logics that will take place on 11th – 13th June, 2018. The venue of the event will be Polo Umanistico “Sa Duchessa” (Cagliari). For further information and updated news please visit our official web page.

 

Register to the conference

New papers of our group members at arXiv

 Senza categoria  Comments Off on New papers of our group members at arXiv
Feb 252016
 

Two papers, published by the members of our group in International Journal of Theoretical Physics, have been posted to ArXiv preprint archive. Everybody is encouraged to read them at A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures and  A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics.

II International Workshop Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Perspectives

 conference, workshop  Comments Off on II International Workshop Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Perspectives
Jul 172015
 

II International Workshop

Quantum Mechanics and Quantum Information:

Physical, Philosophical and Logical Perspectives

23 and 24 of July 2015

Room D.1.08 – Brussels Free University, Belgium

LIST OF TALKS

  1. Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Lepporini & Giuseppe Sergioli: Quantum Turing Machines, Quantum Computational Logic and Cognitive Processes

  2. Christian de Ronde: Quantum Superpositions Do Exist! But Quantum Reality ≠ Actuality

  3. Hector Freytes and Giuseppe Sergioli: Non-separability in Quantum Computation: representing continuous t-norm

  4. Giuseppe Sergioli and Roberto Giuntini: Quantum Pattern Recognition

  5. Matias Graffigna: The possibility of a new metaphysics for QM from the phenomenological perspective: Meinong and Husserl

  6. Bob Coecke: From quantum foundations to natural language meaning via string diagrams

  7. Benjamin Eva: Another Paraconsistent Topos Theoretic Quantum Logic

  8. Tomas Veloz: On new interpretational aspects on the quantum-inspired approach to cognition

  9. Albert Solé: A defence of the two-space reading of Bohmian mechanics

  10. Karin Verelst: Structure as Cause

  11. Roberto Giuntini & Antonio Ledda: From Scharp to Unsharp Quantum Logic: A New Look at the Effects of a Hilbert Space (1)

  12. Roberto Giuntini & Antonio Ledda: From Scharp to Unsharp Quantum Logic: A New Look at the Effects of a Hilbert Space (2)

 

Scientific Committee
Diederik Aerts
Maria Luisa Dalla Chiara
Roberto Giuntini

Décio Krause
Newton da Costa
Organizing Committee
Christian de Ronde (Chair)
Hector Freytes

Giuseppe Sergioli

Antonio Ledda

For more information: www.vub.ac.be/CLEA/

Seminars Prof. Costantine Tsinakis

 seminar  Comments Off on Seminars Prof. Costantine Tsinakis
May 202015
 

The visiting Professor Costantine Tsinakis (Vanderbilt, Nashville, TN) will give three lessons on “Residuated lattices: the algebras of Substructural Logics”.

These seminars are particularly meant for Ph.D. students but are open to anyone interested in the topic.

Dates and times:

Thursday 21 of May, 10:00 (Aula 9).

Thursday 28 of May, 15:00 (Aula 9).

Thursady 4 of June, 14:30 (Aula 9).

 

Seminars will take place at the Facolty of Humanities, via Is Mirrionis 1, Cagliari.

Summer of Logic and Philosophy of Science

 conference  Comments Off on Summer of Logic and Philosophy of Science
May 072015
 

The staff of the Alophis group is happy to comunicate the beginning of the “Summer of Logic and Philosophy of Science”, with a number of seminars on various topics of Logic and Philosophy of Science.

 

locandina

Informal Workshop on Quantum Computation and Pattern Recognition

 workshop  Comments Off on Informal Workshop on Quantum Computation and Pattern Recognition
Mar 102015
 

The members of ALOPHIS invite everyone interested to attend the informal workshop on “Quantum Computation and Pattern Recognition” which will take place in the Department of Pedagogy, Psychology and Philosophy, from April the 8th to April the 17th.

Among the confirmed workshop participants are:  R. Giuntini, L. Didaci, G. Sergioli, J. Miszczak and E. Santucci.

The workshop is strictly connected to “Quantum Computational structures and Pattern Recognition” project.

The dates and times of the meetings will be announced soon.

Computer algebra in quantum computing and quantum information theory

 conference  Comments Off on Computer algebra in quantum computing and quantum information theory
Feb 032015
 

Computer algebra in quantum computing and quantum information theory is a special special session at the 21st International Conference on Applications of Computer Algebra 2015 (ACA2015), July 20-23, 2015, Kalamata, Greece.

Aims and scope

Quantum information processing provides a plethora of new problems and research topics suitable for tackling using computer algebra systems. This includes the problems of characterizing multipartite entanglement, generation and optimization of quantum computational circuits and analysis of quantum walks and quantum automata. In the reverse direction, quantum algorithms which outperform their classical counterparts may be of use in symbolic calculations (e.g. Grobner Bases).

The aims of this session are to exchange recent results and ideas concerning the application of numerical, symbolic and algebraic methods in quantum information processing and quantum mechanics. Topics to be considered include (but are not limited to):

  • simulation and modeling of quantum computation;
  • symbolic and numerical methods applied to solving the Schrödinger equation;
  • algebraic and geometric analysis of quantum algorithms and protocols;
  • methods for constructing and optimizing quantum computational circuits;
  • algebraic methods in quantum cryptography;
  • quantifying quantum entanglement;
  • quantum walks and their utilization for modeling quantum networks;
  • quantum automata and algebraic groups;
  • logic and algebraic structures from quantum computation;
  • quantum programming languages.

Organizers

Vladimir Gerdt <gerdt[at]jinr.ru>
Laboratory of Information Technologies
Joint Institute for Nuclear Research
Dubna, Russia

Michael Mc Gettrick <michael.mcgettrick[at]nuigalway.ie>
De Brun Centre for Computational Algebra
School of Mathematics
National University of Ireland
Galway, Ireland

Jaroslaw Adam Miszczak <miszczak[at]iitis.pl>
Institute of Theoretical and Applied Informatics, Polish Academy of Sciences
Gliwice, Poland
and
University of Cagliari
Cagliari, Italy

Arkadiusz Orlowski <arkadiusz_orlowski[at]sggw.pl>
and Alexander Prokopenya <alexander_prokopenya[at]sggw.pl>
Faculty of Applied Informatics and Mathematics
Warsaw University of Life Sciences
Warsaw, Poland

Submissions

If you are interested in giving a presentation at this session, please email an abstract to one of the organizers. The duration of a talk is to be 30 minutes including time for discussion. Tentative deadline for talk submissions is 15th of May, 2015. More information at https://www.iitis.pl/~miszczak/aca2015/

Birkhoff – von Neumann prize 2014

 awards  Comments Off on Birkhoff – von Neumann prize 2014
Jul 022014
 

The Birkhoff-von Neumann Prize 2014 has been awarded to

The Birkhoff-von Neumann Prize prize is awarded once every two years during the award ceremony held at the bi-annual conference of the International Quantum Structures Association (IQSA). The candidates for the prize are selected by the IQSA prize committee for their outstanding scientific achievements in the field of quantum structures and the impact their work has on the research in quantum logic and quantum foundations.

Workshop “Quantum Mechanics: Physical, Philosophical and Logical Approaches”

 conference  Comments Off on Workshop “Quantum Mechanics: Physical, Philosophical and Logical Approaches”
Jun 052014
 

ALOPHIS group organizes, in collaboration with Center Leo Apostel for Interdisciplinary Studies, workshop Quantum Mechanics: Physical, Philosophical and Logical Approaches that will take place at the University of Cagliari between 23rd and 25th of July 2014. More information about the workshop, including the programe and the list of participants, can be found at http://convegni.unica.it/quantum/?lang=en.

credits unica.it | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy

Nascondi la toolbar