[Logica-l] CiE 2024 -- extended deadline

[Elaine Pimentel]

CiE 2024: CALL FOR PAPERS
Computability in Europe 2024
Twenty years of theoretical and practical synergies

Amsterdam, The Netherlands
July 08-12, 2024
https://events.illc.uva.nl/CiE/CiE2024/

Submission link: https://equinocs.springernature.com/service/CiE2024

IMPORTANT DATES:
Deadline for article submission: **February 24, 2024 (AOE)**
Notification of acceptance: April 20, 2024
Final versions due: May 1, 2024
Deadline for informal presentations submission: May 15, 2024 (The
notifications of acceptance for informal presentations will be sent a few
days after submission)
Early registration before: May 20, 2024
Conference: July 08-12, 2024

GENERAL INFORMATION
CiE 2024 will be an anniversary event. It is the 20th conference organized
by CiE (Computability in Europe), in the same place as the first edition,
Amsterdam.

CiE is a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.

Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia
(2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015),
Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020,
virtually), Ghent (2021, virtually), Swansea (2022) and Batumi (2023).

TUTORIAL SPEAKERS
Matthew Harrison-Trainor (University of Illinois Chicago)
Sonja Smets (University of Amsterdam)

INVITED SPEAKERS
Arnold Beckmann (Swansea University)
Rod Downey (Victoria University of Wellington)
Elvira Mayordomo (University of Zaragoza)
Alexandre Miquel (Universidad de la República)
Monika Seisenberger (Swansea University)
Mariya Soskova (University of Wisconsin–Madison)

SPECIAL SESSIONS
There will be 6 special sessions:

- Computable aspects of symbolic dynamics and tilings (chairs: Benjamin
Hellouin and Ilkka Torma)
- Algorithmic randomness and Kolmogorov complexity session (chairs: Rupert
Hölzl abd Denis Hirschfeldt)
- Quantum Computation (chairs: Delaram Kahrobaei and Mehrnoosh Sadrzadeh)
- History and Philosophy of Computing (HaPoC) (chairs: Ekaterina Ekaterina
Kubyshkina and Marianna Girlando)
- Bio-inspired Computation (BiC) (chairs: Gianluca Della Vedova and Jasmijn
Baaijens)
- Computable Structure Theory (chairs: Stefan Vatev and Ekaterina Fokina)

CONFERENCE TOPICS
The CiE conferences serve as an interdisciplinary forum for research in all
aspects of computability, foundations of computer science, logic, and
theoretical computer science, as well as the interplay of these areas with
practical issues in computer science and with other disciplines such as
biology, mathematics, philosophy, or physics.

PAPER SUBMISSION
THE PROGRAM COMMITTEE cordially invites all researchers, European and
non-European, to submit their papers in all areas related to the above for
presentation at the conference.

The following paper categories are welcome:

- Regular papers describing solid new research results. Papers submitted to
the conference proceedings should represent original work, not
simultaneously submitted to another journal or conference with formal
proceedings. The Program Committee will rigorously review and select
submitted papers. Regular papers must have a maximum of 12 pages, including
references but excluding a possible appendix in which one can include
proofs and other additional material. Papers building bridges between
different parts of the research community are particularly welcome.

- Informal presentations. Continuing the tradition of past CiE conferences,
we invite researchers to present informal presentations of their recent
work. A proposal for an informal presentation must be 1 page long; a brief
description of the results suffices and an abstract is not required.
Informal presentations will not be published in the LNCS conference
proceedings. Results presented as informal presentations at CiE 2024 may
appear or may have appeared in other conferences with formal proceedings
and/or in journals.

All submissions must be in PDF, formatted using the Springer LNCS style
(available at
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines),
and submitted via EquinOCS:

https://equinocs.springernature.com/service/CiE2024

CONFERENCE PROCEEDINGS
Accepted regular papers will be published as a proceedings volume in the
Lecture Notes in Computer Science (LNCS) series from Springer-Verlag.


PROGRAM COMMITTEE
Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:

Bahareh Afshari (University of Amsterdam & University of Gothenburg)
Nathalie Aubrun (CNRS, Université Paris-Saclay)
Marie-Pierre Béal (Université Gustave Eiffel)
Benno van den Berg (University of Amsterdam)
Sebastian Berndt (University of Lübeck)
Patricia Bouyer-Decitre (CNRS)
Jin-Yi Cai (University of Wisconsin-Madison)
Barbara Csima (University of 

[Logica-l] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)

[Claudio Sacerdoti Coen]

   Logical Frameworks and Meta Languages: Theory and Practice
(LFMTP24)

   https://lfmtp.github.io/lfmtp-page/workshops/2024/



Logical frameworks and meta-languages form a common substrate for
representing, implementing and reasoning about a wide variety of
deductive systems of interest in logic and computer science. Their
design, implementation and their use in reasoning tasks, ranging from
the correctness of software to the properties of formal systems,
have been the focus of considerable research over the last two decades.
This workshop will bring together designers, implementors and
practitioners to discuss various aspects impinging on the structure and
utility of logical frameworks, including the treatment of variable
binding, inductive and co-inductive reasoning techniques and the
expressiveness and lucidity of the reasoning process.

LFMTP 2024 will provide researchers a forum to present state-of-the-art
techniques and discuss progress in areas such as the following:

* Design, Analysis, Implementation, Evaluation, and Application of
logical frameworks like LF, Abella, Beluga, ELPI, Hybrid, lambdaPi, or
MMT

* Encoding and reasoning about the theory of programming languages,
  logical systems, type theories, and similar formal systems

* Theoretical and practical issues concerning the treatment of variable
  binding such as higher-order abstract syntax, nominal logic, explicit
substituations, or binding signatures

* Representation and reasoning about features of logics and languages
like equality, inductive and co-inductive definitions, inductive types
of higher dimension, universes, as well as associated reasoning
techniques

* Frontiers of logical frameworks such as canonical and substructural
frameworks, contextual frameworks, functional programming over logical
frameworks, or homotopy and cubical type theory

* Logical framework-based tools and services such as theorem proving,
search tools, or IDEs

* Two-level languages to program and reason over logics like tactic
languages, reflection, or meta-programming in interactive provers such
as LTac, ELPI, MetaCoq, Isabelle, and Lean's meta-programming),
including implementation and use cases
  
* Graphical languages for building proofs, applications in geometry,
equational reasoning and category theory.


## Important Dates

Abstract submission deadline: April 29
Paper submission deadline:May6
Notification to authors:  June   3
Final version due:June  13
Workshop: July   8

## Submission and Proceedings

We solicit regular papers of up to 15 pages (including references).
These must be original and not simultaneously submitted to another
venue. They will be reviewed, and we plan to publish (pre- or post-)
proceedings in a series like EPTCS or similar.

In addition, we encourage the submission of abstracts (1-4 pages
including references) describing work-in-progress, new ideas,
challenges, or other interesting informal contributions.

All submitted papers should be in PDF format following the EPTCS style
guidelines.

Submissions should be made via easychair at
https://easychair.org/conferences/?conf=lfmtp24.

We will investigate the possibility of having a journal special issue
for extended versions of selected contributions.

## Program Committee

* Florian Rabe (University of Erlangen-Nuremberg), co-chair
* Claudio Sacerdoti Coen (University of Bologna), co-chair
* Mauricio Ayala-Rincón (University of Brasilia)
* Mario Carneiro (Carnegie Mellon University)
* Kaustuv Chaudhuri (École Polytechnique Paris)
* Cyril Cohen (Inria Sophia Antipolis)
* Theo Winterhalter (Inria Saclay)
* Other members TBA 

-- 
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
Coordinator of the Undergraduate and Graduate Programmes in Computer
Science
University of Bologna

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/5805637e8b03428ad79c1cd03d251f4cb41d16b6.camel%40unibo.it.

[Logica-l] Posição de professor Universidade de Aveiro

[Alfredo Roque Freire]

Olá todas e todos,

Recebi um chamado para professor na Universidade de Aveiro em Portugal.
(data limite 07/03/2024)
Quem tiver dúvidas, pode enviar um email para:
  mart...@ua.pt

Segue o email para quem tiver interesse:

*Assunto:* Abertura de concurso para Professor Auxiliar em Matemática (2
vagas)


Caros Colegas,


Foi publicado hoje no Jornal Público o anúncio de abertura de um
concurso na UA para *Professor Auxiliar na área de** Matemática* (com 2
vagas), com a referência Refª CD-CTTI-01-SGRH/2024. Envio em anexo uma
cópia do Edital (PT + EN).

Mais informações e procedimentos podem ser encontrados seguindo o *link:*

https://www.ua.pt/pt/sgrh/pessoal-docente-novos-concursos-e-ofertas


Agradeço uma divulgação deste concurso pelos vossos contactos.


Obrigado.


Com os melhores cumprimentos,

*José Alexandre Almeida*


-- 
Alfredo Roque Freire

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para acessar esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6b%3DXE4w-9akFOzcUPCCCKLXWLffDgSSe0URyK-xFacC4A%40mail.gmail.com.

[Logica-l] [SBFA-CFA] VIII Conferência da SBFA (Olinda, 22-26/07/2024)

[Marcos Silva]

English version below

VIII Conferência da Sociedade Brasileira de Filosofia Analítica

(SBFA 2024, Olinda)

Chamada de Resumos

Convidamos todas(os) a submeterem resumos de trabalhos na área da Filosofia
Analítica (entendida de maneira ampla) para a VIII Conferência da SBFA que
acontecerá presencialmente na Escola Santa Gertrudes, em Olinda - PE, de 22
a 26 de julho de 2024.

Prazo para submissões: 20/12/23 a 15/03/24

Divulgação dos resumos aceitos: a partir de 10/04/24

Palestrantes confirmadas(os):

André Abath (UFMG)

Otávio Bueno (University of Miami)

Anthony Chemero (University of Cincinnati)

Annalisa Coliva (UC-Irvine)

Eleonora Cresto (SADAF-Buenos Aires)

Itala D'Ottaviano (UNICAMP)

Paulo Faria (UFRGS)

David Plunkett (Darmouth College)

Ruy Queiroz (UFPE)

Ludovic Soutif (PUC-Rio)

Michael Tomasello (Duke University)

Diretrizes para submissões de resumos para comunicações

   -

   Os resumos podem ser escritos em português, espanhol e inglês, expondo o
   argumento central do trabalho com clareza (máximo 500 palavras).
   -

   O resumo deverá ser enviado sem identificação do(a) autor(a) num arquivo
   docx. ou PDF para o e-mail sbfa.sb...@gmail.com.
   -

   O assunto do e-mail deve ser Submissão de resumo - VIII Conferência da
   SBFA.
   -

   Após enviar o email com o trabalho anônimo, preencher o seguinte
   formulário: https://forms.gle/WfTNArfz7etGVC9r7
   


Diretrizes para submissão de proposta de Grupo de Trabalho ou mesa temática
(simpósio)

   -

   As(os) organizadoras(es) de encontro de GT ou simpósio devem enviar a
   proposta para o e-mail sbfa.sb...@gmail.com, contendo um resumo da
   proposta de no máximo 600 palavras e os resumos de cada trabalho a ser
   apresentado na mesa (mínimo 400 - máximo 600 palavras)
   -

   No mesmo e-mail deve haver uma folha de identificação contendo nome,
   e-mail, afiliação institucional, nível (mestrado, doutorado,
   pós-doutoranda(o), professor(a)), título do trabalho
   -

   O assunto do e-mail deve ser Submissão de Simpósio - VIII Conferência da
   SBFA.
   -

   Após enviar o email com a proposta, preencher o seguinte formulário:
   https://forms.gle/WfTNArfz7etGVC9r7 



A área da filosofia analítica na qual se adequa o trabalho deve estar
explicitada, a saber:

   -

   Epistemologia,
   -

   Estética Analítica
   -

   Ética Analítica,
   -

   Filosofia das Ciências Cognitivas,
   -

   Filosofia da Linguagem,
   -

   Filosofia da Matemática,
   -

   Filosofia da Mente,
   -

   Filosofia Política Analítica
   -

   História da Filosofia Analítica,
   -

   Lógica e Filosofia da Lógica.


Participantes poderão apresentar apenas uma vez no evento, seja em GT, mesa
temática (simpósio) ou comunicação individual.

Para trabalhos em co-autoria, um dos autores deve se inscrever e estar
presente no evento.

As falas no evento podem ser feitas em qualquer um dos idiomas acima,
contudo, devem ser feitas na mesma língua na qual o resumo foi escrito.
Cada apresentação terá duração de 30 minutos, incluindo as perguntas e
respostas.

Todas as propostas serão avaliadas pelo Comitê Científico da SBFA.

Critérios de avaliação


   -

   Conformidade com as instruções de submissão.
   -

   Clareza, coesão e correção ortográfica e gramatical do resumo.
   -

   Adequação ao tema e aos objetivos da VIII da SBFA.
   -

   Relevância e originalidade.




VIII Conference of the Brazilian Society for Analytical Philosophy

(SBFA 2024, Olinda)

Call for Abstracts

We invite everyone to submit abstracts of work in the area of Analytical
Philosophy (broadly understood) for the VIII SBFA Conference that will take
place in person at Santa Gertrudes School, in Olinda - PE, from July 22nd
to 26th, 2024.

Deadline for submissions: March 15th, 2024

Notification of acceptance: April 10th, 2024

Confirmed Speakers:

André Abath (UFMG)

Otavio Bueno (University of Miami)

Anthony Chemero (University of Cincinnati)

Annalisa Coliva (UC-Irvine)

Eleonora Cresto (SADAF-Buenos Aires)

Itala D'Ottaviano (UNICAMP)

Paulo Faria (UFRGS)

David Plunkett (Darmouth College)

Ruy Queiroz (UFPE)

Ludovic Soutif (PUC-Rio)

Michael Tomasello (Duke University)

Guidelines for abstract submissions to individual talks

   -

   Abstracts can be written in Portuguese, Spanish and English, clearly
   stating the central argument of the work (maximum 500 words).
   -

   The abstract must be sent without identifying the author in a docx. or
   PDF file to email sbfa.sb...@gmail.com.
   -

   The subject of the email must be Abstract submission - VIII SBFA
   Conference.
   -

   The same email must also include an identification sheet containing
   name, email, institutional affiliation, level (master's degree, doctorate,
   post-doctoral fellow, professor), title of work, subject of work (see the
   list of subjects below),
   -

   After sending the email with the proposal, please fill the following