categories - Category Theory list
 help / color / mirror / Atom feed
* TACL 2022 second announcement
@ 2022-02-24  7:32 TACL2022
  0 siblings, 0 replies; only message in thread
From: TACL2022 @ 2022-02-24  7:32 UTC (permalink / raw)
  To: categories

===================================================

TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022)
Second announcement
===================================================

Conference: June 20-24, 2022 in Coimbra
School: June 13-18, 2022 in Praia de Mira

https://www.mat.uc.pt/~tacl2022

Organized by the Centre for Mathematics (CMUC) and the Department of
Mathematics (DMUC) of the University of Coimbra

CONFERENCE

Important dates
---------------------

Contributed talks:
Submission deadline: March 4, 2022
Notification to authors: April 15, 2022

Registration will open very soon. The registration fee includes the
welcome reception, coffee-breaks, lunches, excursion, and the conference
dinner at S??o Marcos Palace
(https://www.portugalfinest.pt/places/palacio-sao-marcos).

Academic registration: 150 euros
Student registration: 100 euros

SCHOOL

Registration will open very soon. Registration fee will be about 260
euros, but it may depend on the type of accommodation chosen. It
includes accommodation, the welcome dinner, lunches and coffee-breaks.
Note that the number of spaces in the school is limited.

Limited funds for supporting summer school participants are available
(mainly through the ERC Advanced Project DuaLL). This is intended
primarily for students, but non-students can be considered in
exceptional circumstances. Those who plan to request financial support
should submit a copy of their CV and a letter of support from their PhD
advisor or post-doc supervisor (if applicable) to tacl2022@mat.uc.pt,
with 'Summer School support request' in the subject, by March 18, 2022.


===================================================

TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022)
First announcement
===================================================

Conference: June 20-24, 2022 in Coimbra
School: June 13-18, 2022 in Praia de Mira

https://www.mat.uc.pt/~tacl2022

Organized by the Centre for Mathematics (CMUC) and the Department of
Mathematics (DMUC) of the University of Coimbra


Scope
--------
Studying logic via semantics is a well-established and very active
branch of mathematical logic with many applications in
computer science and elsewhere. The area is characterized by results,
tools and techniques stemming from various fields,
including universal algebra, topology, category theory, order, and model
theory. The programme of the conference TACL 2022 will
focus on three interconnecting mathematical themes central to the
semantic study of logic and their applications: topological,
algebraic, and categorical methods.

TACL 2022 is the tenth conference in the series Topology, Algebra and
Categories in Logic (TACL, formerly TANCL).
Earlier instalments of this conference have been organized in Tbilisi
(2003), Barcelona (2005), Oxford (2007),
Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015),
Prague (2017), and Nice (2019).


Featured topics
---------------------
Contributed talks are intended to be about topological, algebraic or
categorical methods used in mathematical or computer science
logic. This includes, but is not limited to, the following areas:

* Algebraic logic
* Algebraic structures in CS
* Categorical methods in logic
* Coalgebra
* Domain theory
* Fuzzy and many-valued logics
* Lattice theory
* Lattices with operators
* Modal logics
* Non-classical logics
* Ordered algebraic structures
* Ordered topological spaces
* Pointfree topology
* Proofs and types
* Residuated structures
* Semantics
* Stone-type dualities
* Substructural logics
* Topological semantics of modal logic


Invited speakers
---------------------

* Marta Bilkova, Czech Academy of Sciences, Prague
* David Fernandez-Duque, Ghent University
* Richard Garner, Macquarie University, Sydney
* Jean Goubault-Larrecq, Ecole Normale Superieure Paris-Saclay
* Peter Johnstone, University of Cambridge
* Vincenzo Marra, University of Milan
* Amanda Vidal, Artificial Intelligence Research Institute, Barcelona
* Friedrich Wehrung, University of Caen
* Fan Yang, University of Helsinki


Lecturers at the Summer School
------------------------------------------

* Dirk Hofmann, University of Aveiro
* Rosalie Iemhoff, Utrecht University
* Graham Manuell, University of Coimbra
* Walter Tholen, York University, Toronto


Submission instructions
-------------------------------
Authors can submit an Extended Abstract of 2 pages (including
references) at the EasyChair conference system:

https://easychair.org/conferences/?conf=tacl2022


Important dates
---------------------
School: June 13-18, 2022
Conference: June 20-24, 2022

Contributed talks:
Submission deadline: March 4, 2022
Notification to authors: April 15, 2022

The school's programme will start on Tuesday June 14 in the morning and
will end on Saturday June 18 in the afternoon.
A bus transfer from and to Coimbra will be arranged by the organisers,
on the afternoon of June 13 and June 18, respectively.

The conference programme will start on Monday June 20 in the morning and
will end on Friday June 24 in the afternoon.


Financial support
-----------------------

For the summer school a certain amount of funding is available for those
in financial need. This is intended primarily for students, but
non-students can be considered in exceptional circumstances.


Program Committee
---------------------------

Peter Jipsen, Chapman University, USA (PC co-chair)
Jorge Picado, Universidade de Coimbra, Portugal (PC co-chair)
Nick Bezhanishvili, University of Amsterdam, Netherlands
Agata Ciabattoni, Vienna University of Technology, Austria
Maria Manuel Clementino, Universidade de Coimbra, Portugal
Mai Gehrke, Universit?? C??te D'Azur, Nice, France
Silvio Ghilardi, Universit?? degli Studi di Milano, Italy
Zuzana Hanikova, Inst. of Computer Science, Czech Academy of Sciences
John Harding, New Mexico State University, USA
Tomas Jakl, University of Cambridge, UK
Zurab Janelidze, Stellenbosch University, South Africa
Ramon Jansana, Universitat de Barcelona, Spain
Agi Kurucz, King's College London, UK
Serafina Lapenta, Universita degli Studi di Salerno, Italy
Matias Menni, Conicet and Universidade Nacional de La Plata, Argentina
George Metcalfe, University of Bern, Switzerland
Hiroakira Ono, Japan Advanced Institute of Science & Technology, Japan
Daniela Petrisan, University Paris Diderot (Paris 7), France
Adam Prenosil, Universita degli Studi di Cagliari, Italy
Luca Reggio, University of Oxford, UK
Greg Restall, University of St Andrews, UK
Benno van den Berg, University of Amsterdam, Netherlands


Steering Committee
---------------------------

Guram Bezhanishvili, New Mexico State University, United States
Mai Gehrke, CNRS and Universite Cote d'Azur, France
Silvio Ghilardi, University of Milan, Italy
Ramon Jansana, University of Barcelona, Spain
Hilary Priestley, University of Oxford, United Kingdom
James Raftery, University of Pretoria, South Africa
Yde Venema, University of Amsterdam, Netherlands


Organizing Committee
-----------------------------
Maria Manuel Clementino (chair)
Igor Arrieta
Ana Belen Avilez
Celia Borlido
Maria Joao Ferreira
Carlos Fitas
Goncalo Gutierres
Dirk Hofmann
Graham Manuell
Jorge Picado
Sandra Pinto
Rui Prezado
Manuela Sobral
Lurdes Sousa

More Information
------------------------

Information about registration as well as suggested hotels will be
forthcoming in future announcements.

If you would like to receive future announcements, please send a message
to this effect to the conference e-mail address.

TACL 2022 web site: https://www.mat.uc.pt/~tacl2022/
Conference email: tacl2022@mat.uc.pt
School web site: https://www.mat.uc.pt/~tacl2022/#school




[For admin and other information see: http://www.mta.ca/~cat-dist/ ]


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2022-02-24  7:32 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-24  7:32 TACL 2022 second announcement TACL2022

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).