## Computability in Europe 2023: **Unity of Logic and Computation**
Batumi, Georgia
July 24-28, 2023
https://www.viam.science.tsu.ge/cie2023/
## FORMAT
The conference will have a **hybrid format**.
At the same time, we strongly encourage in-person participation for a
richer
experience: There are direct flights to Batumi from Istanbul and Tel
Aviv, among
other airports. Hotels can be booked directly on the
conference website (https://www.viam.science.tsu.ge/cie2023/) at a
reduced rate.
Batumi is located on the Black Sea coast close to the Turkish border.
We suggest to book hotels as soon as possible, since Batumi is a
well-appreciated touristic location, especially in July.
Numerous travel advisory websites currently rank travel to Georgia as
very safe.
## IMPORTANT DATE:
* Deadline for poster presentations submission: **July 10, 2023** (The
notifications of acceptance for informal presentations will be sent a
few days after submission.)
## POSTER PRESENTATIONS
We invite researchers to present poster presentations of their recent work.
A proposal for
a poster presentation must be submitted via EasyChair
(https://easychair.org/conferences/?conf=cie2023), using the LNCS style
file (available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
),
and be 1 page long; a brief description of the results suffices and an
abstract is not required.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
