Submissions

Submissions for CRAPcon 2024 are closed, see you in 2025!

Overview

The synergy of logical systems and privacy engineering, along with the challenges in constructing randomized structures and analyzing hyperproperties in temporal logics, necessitates advancements in both theoretical and practical aspects of computing. CRAPcon 2024 aims to foster discussions among researchers and practitioners across various disciplines, encouraging the exchange of ideas, methodologies, and experimental results.

CRAPcon 2024 serves as a premier international forum for presenting the latest research on new frameworks for privacy protection, ecumenical logical systems, and innovative approaches to understanding complex properties of computational systems through temporal and proof theoretical methods. It is dedicated to pushing forward the frontiers of research in programming languages and software verification.

A Metaphor Through CrapCon conferences, we are trying to relate the analytic thinking, required in focused conference´s sessions, with the synthetic thinking, required for analogies generation, which calls a for multi-focus domain and divergent thinking. We are trying to promote synergic relationships between analytically and synthetically oriented minds, as it is found between left and right brain hemispheres, by means of the corpus callosum. Then, CrapCon 2024 might be perceived as a research corpus callosum, trying to bridge analytical with synthetically oriented efforts, convergent with divergent thinking, and focused specialists with non-focused or multi-focused generalists © Content and design of this inset courtesy of WMSCI'24

Topics of Interest

The conference covers a broad spectrum of topics. Potential topics include, but are not limited to:

• Time-Traveling Temporal Debugging: The Future of Past Code
• "Softly" Constrained Goo and Methods for Constructing Crap
• Quantum Computing: Solving Problems That Don't Exist Yet
• AI Overlords: Preparing Your Resumé for Skynet
• So-Called Crypto: The Art of Creating Imaginary Wealth
• From Humiliation to Identity Protection - Pseudonym Engineering
• "Hello World" in the Next 1000 Programming Languages
• Ecumenical Ecology: the Oneness of Mother Ocean's Love
• Big Data Solutions for Predicting Today's Weather, Today!
• The Ethics of Cloning Git Repositories

The conference website is: https://eerikson.ee/crapcon/

Call for Presentations

We invite researchers from all backgrounds to submit their findings in the form of oral presentations. These presentations are an opportunity to share innovative ideas, methodologies, and results with the global CRAPcon community.

Presentation duration ranges from 2 to 7 minutes. Submit the title of your talk to any Program Committee or Steering Committee member for consideration.

Organizational, Reviewing, and Selection of Best Papers Policies

All submissions are accepted through a rigorous blind review process. The conference honors outstanding contributions with awards, determined by participative peer review.

Conference Venue

The conference will take place at the Viinistu Art Hotel, offering a vibrant mix of art and hotel.

CRAPCOMP: Competition 4 Best Crap

New conference logo and corporate identity competition!

Schedule

Program Committee

• Dr. Pille Pullonen-Raudvere, M.Sc.
• Dr. Vesal Vojdani, Ph.D.
• Mrs. Liina Kamm, Ph.D.

Laur Committee

• Mr. Sven Laur, Dr.Tech.

Overseas Advisory Board

• Mr. Dan Bogdanov, Ph.D.
• Dr. Alisa Pankova, Ph.D.

Independent Swiss Expert

• Dr-Not-Yet. Konstantin Tretjakov, Ph.D. Emeritus

Local Organizing Committee

• Tarmo Uustalu
• Monika Perkmann
• Peeter Laud

Titanium Sponsors

• Eerikson, GmbH., Inc., AB, OÜ

Honorary Chair