Follow us on Social Media
Computation, Logic, and Information
July 3-5, 2024
Jagiellonian University, Krakow, Poland

Information, computation, and logic are defining concepts of the modern era. Shannon laid the foundation of information theory, demonstrating that problems of communication and compression can be precisely modeled, formulated, and analyzed. Turing formalized computation defined as the transformation of information by means of algorithms. Godel established modern foundation of logic, laying the foundation for modern computer science and science of information.

Shannon's focus was originally on data recovery in compression and communication, but information is not merely communicated, it is also acquired, represented, inferred, processed, aggregated, managed, valued, secured, and computed. Computational information explores those properties of information that can be feasibly extracted. Existence of an object is of limited utility if no reasonable algorithm can provably generate such an object. Infeasibility may arise for a number of different reasons: the desired information may be computationally hard to extract; the information may be distributed geographically and not locally extractable; or information may be encoded in (quantum) physical ways that prevent full extraction. In contrast to the classical theory of information, where precise quantitative limits can be established in most cases, in the computational setting, information is not well understood qualitatively, with exponential gaps between the upper and lower bounds on the amount of feasibly extractable information.

We must add logic to this paradigm. At its most basic, logic is the study of consequence. The core intuition motivating including logic in information is that an informational state may be characterized by the range of possibilities or configurations that are compatible with the information available at that state. But logic may restrict range of possibility, directly impacting just information. Furthermore, logic ``unusual effectiveness in computer science'', from descriptive complexity to type theory (including Voevodsky univalent axiom) to reasoning about knowledge closes the loop from logic to information to computation. Understanding how to harness it in order to deepen connections to a theory of information remains very much an open question.

There are plenty of questions with very few satisfying answers:

  • Is there a way to account for the meaning or semantics of information?
  • Can we construct a theory information that is representation-invariant? What is misinformation?
Confirmed Participants


Poster

Poster (PDF)

Conference Venue: Collegium Novum




Please find the recommended hotels for your stay at Krakow.
All hotels can be found on booking.com . All hotels are within 5-10 mins by walk to the conference venue.

  1. Type 1: 1-person rooms, up to 350 USD for 3 nights,
    • Hotel Francuski
    • Hotel Imperial,
    • Ostoya Palace Hotel,
    • Golden Tulip Krakow City Center,
    • Hotel Unicus

  2. Type 2: 2-person rooms, up to 350 USD for 3 nights,
    • Ibis Kraków,
    • Hotel Polonia,
    • Hotel Europejski

  3. Type 3: rooms (1- or 2-person) over 350 USD
    • Hotel Polski Pod Białym Orłem,
    • Vienna House Andel's Cracow,
    • Mercure Krakow Stare Miasto

Note: All the travel arrangements have to be done by oneself.




Event Schedule

Workshop Program (Word)


Wednesday July 3, 2024
  • 13:50 - 14:00 Welcoming and Opening the Workshop

    Marek Zaionc (Jagiellonian University, Poland) and Wojtek Szpankowski (Purdue, USA)

  • 14:00 - 18:00 Chair: Jakub Kozik (Jagiellonian University, Poland)

    14:00 - 15:00 Peter Shor (Massachusetts Institute of Technology, USA)
    "Quantum Computing"

    15:00 - 16:00 Vijay Vazirani (University of California, Irvine, USA)
    "Cardinal-Utility Matching Markets: From Tractability to Intractability ... and Back!"

    16:00 - 17:00 Andrew Barron (Yale, USA)
    "Log concave coupling for sampling from neural net posterior distributions"

    17:00 - 17:30 Coffee Break

    17:30 - 18:00 Ten minute walk to Collegium Maius

  • 18:00 - 19:00 (Collegium Maius) Chair: Marek Zaionc (Jagiellonian University, Poland)

    Wojciech Szpankowski (Purdue, USA)
    "Structural, Temporal, and Semantic Information"

  • 19:00 - 21:00 Reception in Collegium Maius
Thursday July 4, 2024
  • 9:00 - 12:00 - Chair: Bartek Bosek (Jagiellonian University, Poland)

    9:00 - 10:00
    Venkat Anantharam (Berkeley, USA)
    "Distributed information"

    10:00 - 11:00
    Alex Gray (IBM, USA)
    "Neuro-Symbolic AI: The Empirical and Theoretical Advantage of Logic-like Learning Models"

    11:00 - 12:00
    Shuki Bruck (Caltech, USA)
    "The Evolution of Information Systems: From Life to Artificial Intelligence"

  • 12:00 - 13:30 Lunch (on your own)
  • 13:30 - 18:00 Chair: Marcin Kozik (Jagiellonian University, Poland)

    13:30 - 14:30
    David Ellerman (University of Ljubljana, Slovenia)
    "New Foundations for Information Theory: Logical Entropy and Shannon Entropy"

    14:30 - 15:30
    Venkat Guruswami (Berkeley, USA)
    "Polymorphism minions and promise constraint satisfaction: A gateway between information and computation"

    15:30 - 16:00 Coffee Break

  • 16:00 - 18:00 Chair: Katarzyna Grygiel (Jagiellonian University, Poland)

    16:00 - 17:00
    Piotr Sankowski (Warsaw University, Poland)
    “Analyzing the Influence of Language Model-Generated Responses in Mitigating Hate Speech”

    17:00 - 18:00
    Alon Orlitsky (University of California, San Diego, USA)
    "Robust learning from untrusted sources"

  • 19:00 - Dinner "U Wierzynka"
Friday July 5, 2024
  • 9:00 - 12:00 Chair: Piotr Micek (Jagiellonian University, Poland)

    9:00 - 10:00
    Negar Kiyavash (EPFL, Switzerland)
    "Causal identification: state of the art and challenges"

    10:00 - 11:00
    Pawel Idziak (Jagiellonian University, Poland)
    "Complexity of solving equations - kith and kin"

    11:00 - 12:00
    Joachim Buhmann (ETH, Switzerland)
    "Why is it difficult to recover a planted sub-hypergraph?"

  • 12:00 - 14:00 - Lunch (on your own)
  • 14:00 - 17:00 Chair: Krzysztof Turowski (Jagiellonian University, Poland)

    14:00 - 15:00
    Jean-Claude Belfiore (Huawei, France)
    "Building a theory of semantic information: spaces of information"

    15:00 - 16:00
    Avi Wigderson (Institute for Advanced Study, Princeton, USA)
    "The Value of Errors in Proofs"

    16:00 - 17:00
    Alberto Luigi Sangiovanni-Vincentelli (Berkeley, USA)
    "Platform and Contract-based design: two complementary system design platforms"

Organizers
Wojciech Szpankowski

Wojciech Szpankowski

Director
Center for Science of Information
Purdue University
Marek Zaionc

Marek Zaionc (UJ, Poland)

Professor and Head
Foundations of Computer Science group
Jagiellonian University


Contact