Every year brings with it new challenges. To you. To your employees. To your organization. The best weapon against these challenges? Resilience.
ICSE 2021 Goes Virtual
November 03, 2020
The current trends in the global Covid-19 pandemic make it very unlikely that we will be able to hold a physical conference in Madrid in May 2021 with sufficient assurances of safety. It is with great sadness that we announce that ICSE 2021 and its co-located events and workshops will be held virtually. We did not take this decision lightly, but we believe that going fully virtual is the right way forward.
During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.
Mersin is a cultural heritage accumulated in 6 thousand years where Saint Paulus, the first Apostle of Christ, was born in. Yumuktepe tumulus, located at the center of Mersin, have shown that the city was first built 9 thousand years ago.
