Re: [Logica-l] nteligência Artificial com Marcelo Finger, Professor Titular da USP

2021-03-17 Por tôpico Julio Stern 
Parabens Adolfo pela iniciativa,
e ao Marcelo pela ciacao do centro na USP
com apoio da FAPESP e IBM.
---Julio Stern


From: Walter Alexandre Carnielli 
Sent: Wednesday, March 17, 2021 11:10 PM
To: Adolfo Neto 
Cc: logical logical 
Subject: Re: [Logica-l] nteligência Artificial com Marcelo Finger, Professor 
Titular da USP

Parabéns pela iniciativa, Adolfo, otimos podcasts!
Parabéns da nesma amolitude  ao Marcelo pela respostas interessantes e animadas,

Abraços

Walter


Em qua, 17 de mar de 2021 16:06, Adolfo Neto 
mailto:ado...@utfpr.edu.br>> escreveu:
Oi pessoal,

Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.

http://spoti.fi/3qZxRJQ

https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p

Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do podcast 
está melhor.

No episódio, comentei com Marcelo de uma empresa que se originou no Imperial 
College (um dos co-fundadores era do Imperial Colege  
https://www.linkedin.com/in/cristiano-calcagno-8256057/
). Não lembrava o nome. Era a Monoidics:
https://www.theguardian.com/technology/2013/jul/18/facebook-buys-monoidics

A empresa fazia o Infer, que foi incorporado ao Facebook:
"A tool to detect bugs in Java and C/C++/Objective-C code before it ships

Infer is a static analysis tool - if you give Infer some Java or 
C/C++/Objective-C code it produces a list of potential bugs. Anyone can use 
Infer to intercept critical bugs before they have shipped to users, and help 
prevent crashes or poor performance."

https://fbinfer.com/

Na página do Infer eles têm até um texto sobre as bases lógicas:
Separation logic and bi-abduction
https://fbinfer.com/docs/separation-logic-and-bi-abduction



--
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com.

--
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf0zxWc5D_WYr-XhYMrc2y7hFS1R5wE-WbVXBwZ71bDgg%40mail.gmail.com.

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPZP284MB021688A5EB76D62ABD25BD6BB6699%40CPZP284MB0216.BRAP284.PROD.OUTLOOK.COM.

[Logica-l] O prêmio de lógica da Croatia 2021 - Z.Sikic: "Kneale's natural deductions as a notational variant of Beth's tableaus"

2021-03-17 Por tôpico jean-yves beziau 
O prêmio de lógica da Croatia 2021 foi recentemente atribuído a
Zvonimir Šikić, Universidade de Zagreb
 para o artigo
 'Kneale's natural deductions as a notational variant of Beth's tableaus"
http://www.uni-log.org/logic-prize-world
Ele vai participar do
2nd World Logic Prizes Contest
que  vai acontecer no sétimo UNILOG em Creta em 2022,
https://sites.google.com/view/unilog-2021/congress
competindo com vencedores de prêmios de lógica de outros países.
JYB

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDBM8h2PVzYGyQA1hpW3F4NUZEwNg7q91WgFdUVswoLcQ%40mail.gmail.com.

Re: [Logica-l] nteligência Artificial com Marcelo Finger, Professor Titular da USP

2021-03-17 Por tôpico Walter Alexandre Carnielli 
Parabéns pela iniciativa, Adolfo, otimos podcasts!
Parabéns da nesma amolitude  ao Marcelo pela respostas interessantes e
animadas,

Abraços

Walter


Em qua, 17 de mar de 2021 16:06, Adolfo Neto  escreveu:

> Oi pessoal,
>
> Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.
>
> http://spoti.fi/3qZxRJQ
>
>
> https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p
>
> Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do
> podcast está melhor.
>
> No episódio, comentei com Marcelo de uma empresa que se originou no
> Imperial College (um dos co-fundadores era do Imperial Colege
> https://www.linkedin.com/in/cristiano-calcagno-8256057/
> ). Não lembrava o nome. Era a Monoidics:
> https://www.theguardian.com/technology/2013/jul/18/facebook-buys-monoidics
>
> A empresa fazia o Infer, que foi incorporado ao Facebook:
> "A tool to detect bugs in Java and C/C++/Objective-C code before it ships
>
> Infer is a static analysis tool - if you give Infer some Java or
> C/C++/Objective-C code it produces a list of potential bugs. Anyone can use
> Infer to intercept critical bugs before they have shipped to users, and
> help prevent crashes or poor performance."
>
> https://fbinfer.com/
>
> Na página do Infer eles têm até um texto sobre as bases lógicas:
> Separation logic and bi-abduction
> https://fbinfer.com/docs/separation-logic-and-bi-abduction
>
>
> --
> Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com
> 
> .
>

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf0zxWc5D_WYr-XhYMrc2y7hFS1R5wE-WbVXBwZ71bDgg%40mail.gmail.com.

Re: [Logica-l] Texto Kotas & da Costa: Some problems on logical matrices and valorizations

2021-03-17 Por tôpico C. Mortari 

Olá,

eu tenho o livro... mas em papel. Se não for encontrado de outro jeito, 
posso tentar escanear ao menos o artigo.


Abraços,

Cezar

Em 2021-03-17 16:19, Julio Stern escreveu:

Se conseguirem o texto,
 por favor enviem-me uma copia.
 Grato ---Julio Stern

-

FROM: Itala Maria Loffredo D'Ottaviano 
SENT: Wednesday, March 17, 2021 4:12 PM
TO: Abilio Rodrigues Filho 
CC: Lista acadêmica brasileira dos profissionais e estudantes da
área de LOGICA 
SUBJECT: Re: [Logica-l] Texto Kotas & da Costa: Some problems on
logical matrices and valorizations

Abílio:
Penso que tenho o livro, mas está no CLE.
Itals

Em qua., 17 de mar. de 2021 às 12:41, Abilio Rodrigues Filho
 escreveu:


Prezadxs,

Espero que todxs estejam bem.

Alguém teria disponível em pdf o artigo abaixo (ou o volume
completo)?

Kotas, I. and N. C. A. da Costa, 'Some problems on logical matrices
and valorizations', in Proceedings o f the Third Brazilian
Conference on Mathematical Logic, edited by A. E. Arruda, N. C. A.
da Costa and A. M. Sette, Soc. Brasileira de Logica, 1980, pp.
131-146.

Abraços

Abilio

--
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse


https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com

[1].

 --

Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Centre for Logic, Epistemology and the History of Science
University of Campinas

 --
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4pehacnVyGnwKPxfbWP6e2dV-g%2B6ndodDeV9EKH-7Bsg%40mail.gmail.com
[2].

 --
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPZP284MB02167BA3A78A338710465A18B66A9%40CPZP284MB0216.BRAP284.PROD.OUTLOOK.COM
[3].


Links:
--
[1]
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com?utm_medium=emailutm_source=footer
[2]
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4pehacnVyGnwKPxfbWP6e2dV-g%2B6ndodDeV9EKH-7Bsg%40mail.gmail.com?utm_medium=emailutm_source=footer
[3]
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPZP284MB02167BA3A78A338710465A18B66A9%40CPZP284MB0216.BRAP284.PROD.OUTLOOK.COM?utm_medium=email_source=footer


--
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/bd8ccf7578574350eb533812425ee022%40cfh.ufsc.br.

Re: [Logica-l] Texto Kotas & da Costa: Some problems on logical matrices and valorizations

2021-03-17 Por tôpico Julio Stern 
Se conseguirem o texto,
por favor enviem-me uma copia.
Grato ---Julio Stern



From: Itala Maria Loffredo D'Ottaviano 
Sent: Wednesday, March 17, 2021 4:12 PM
To: Abilio Rodrigues Filho 
Cc: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA 

Subject: Re: [Logica-l] Texto Kotas & da Costa: Some problems on logical 
matrices and valorizations

Abílio:
Penso que tenho o livro, mas está no CLE.
Itals

Em qua., 17 de mar. de 2021 às 12:41, Abilio Rodrigues Filho 
mailto:abilio.rodrig...@gmail.com>> escreveu:
Prezadxs,

Espero que todxs estejam bem.

Alguém teria disponível em pdf o artigo abaixo (ou o volume completo)?

Kotas, I. and N. C. A. da Costa, 'Some problems on logical matrices and 
valorizations', in Proceedings o f the Third Brazilian Conference on 
Mathematical Logic, edited by A. E. Arruda, N. C. A. da Costa and A. M. Sette, 
Soc. Brasileira de Logica, 1980, pp. 131-146.

Abraços

Abilio

--
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com.
--
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Centre for Logic, Epistemology and the History of Science
University of Campinas

--
Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4pehacnVyGnwKPxfbWP6e2dV-g%2B6ndodDeV9EKH-7Bsg%40mail.gmail.com.

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPZP284MB02167BA3A78A338710465A18B66A9%40CPZP284MB0216.BRAP284.PROD.OUTLOOK.COM.

Re: [Logica-l] Inteligência Artificial com Marcelo Finger, Professor Titular da USP

2021-03-17 Por tôpico Itala Maria Loffredo D'Ottaviano 
Adolfo e Marcelo:
Não estou certa se já escrevi a vocês.
Gostei muito da entrevista.
Parabéns a ambos!
Itals

Em qua., 17 de mar. de 2021 às 16:06, Adolfo Neto 
escreveu:

> Oi pessoal,
>
> Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.
>
> http://spoti.fi/3qZxRJQ
>
>
> https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p
>
> Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do
> podcast está melhor.
>
> No episódio, comentei com Marcelo de uma empresa que se originou no
> Imperial College (um dos co-fundadores era do Imperial Colege
> https://www.linkedin.com/in/cristiano-calcagno-8256057/
> ). Não lembrava o nome. Era a Monoidics:
> https://www.theguardian.com/technology/2013/jul/18/facebook-buys-monoidics
>
> A empresa fazia o Infer, que foi incorporado ao Facebook:
> "A tool to detect bugs in Java and C/C++/Objective-C code before it ships
>
> Infer is a static analysis tool - if you give Infer some Java or
> C/C++/Objective-C code it produces a list of potential bugs. Anyone can use
> Infer to intercept critical bugs before they have shipped to users, and
> help prevent crashes or poor performance."
>
> https://fbinfer.com/
>
> Na página do Infer eles têm até um texto sobre as bases lógicas:
> Separation logic and bi-abduction
> https://fbinfer.com/docs/separation-logic-and-bi-abduction
>
>
>
> --
> Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com
> 
> .
>
-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Centre for Logic, Epistemology and the History of Science
University of Campinas

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG5gfRFOsDQRMjeHE3uurU0XUH32VnAKGkz28v1fc44xEg%40mail.gmail.com.

[Logica-l] Inteligência Artificial com Marcelo Finger, Professor Titular da USP

2021-03-17 Por tôpico Adolfo Neto 
Oi pessoal,

Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.

http://spoti.fi/3qZxRJQ

https://anchor.fm/adolfont/episodes/Inteligncia-Artificial-com-Marcelo-Finger--Professor-Titular-da-USP-eplo1p

Continua lá no YouTube em https://youtu.be/lI6KbV_Q0OE mas o áudio do
podcast está melhor.

No episódio, comentei com Marcelo de uma empresa que se originou no
Imperial College (um dos co-fundadores era do Imperial Colege
https://www.linkedin.com/in/cristiano-calcagno-8256057/
). Não lembrava o nome. Era a Monoidics:
https://www.theguardian.com/technology/2013/jul/18/facebook-buys-monoidics

A empresa fazia o Infer, que foi incorporado ao Facebook:
"A tool to detect bugs in Java and C/C++/Objective-C code before it ships

Infer is a static analysis tool - if you give Infer some Java or
C/C++/Objective-C code it produces a list of potential bugs. Anyone can use
Infer to intercept critical bugs before they have shipped to users, and
help prevent crashes or poor performance."

https://fbinfer.com/

Na página do Infer eles têm até um texto sobre as bases lógicas:
Separation logic and bi-abduction
https://fbinfer.com/docs/separation-logic-and-bi-abduction

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAP52AGcvyvOtuerarGU4NqVSi5Eobkm65jiF20fzMYQ9g%3Dip0g%40mail.gmail.com.

Re: [Logica-l] Texto Kotas & da Costa: Some problems on logical matrices and valorizations

2021-03-17 Por tôpico Itala Maria Loffredo D'Ottaviano 
Abílio:
Penso que tenho o livro, mas está no CLE.
Itals

Em qua., 17 de mar. de 2021 às 12:41, Abilio Rodrigues Filho <
abilio.rodrig...@gmail.com> escreveu:

> Prezadxs,
>
> Espero que todxs estejam bem.
>
> Alguém teria disponível em pdf o artigo abaixo (ou o volume completo)?
>
> Kotas, I. and N. C. A. da Costa, 'Some problems on logical matrices and
> valorizations', in Proceedings o f the Third Brazilian Conference on
> Mathematical Logic, edited by A. E. Arruda, N. C. A. da Costa and A. M.
> Sette, Soc. Brasileira de Logica, 1980, pp. 131-146.
>
> Abraços
>
> Abilio
>
> --
> Você recebeu essa mensagem porque está inscrito 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com
> 
> .
>
-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Centre for Logic, Epistemology and the History of Science
University of Campinas

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4pehacnVyGnwKPxfbWP6e2dV-g%2B6ndodDeV9EKH-7Bsg%40mail.gmail.com.

[Logica-l] Texto Kotas & da Costa: Some problems on logical matrices and valorizations

2021-03-17 Por tôpico Abilio Rodrigues Filho 
Prezadxs,

Espero que todxs estejam bem.

Alguém teria disponível em pdf o artigo abaixo (ou o volume completo)?

Kotas, I. and N. C. A. da Costa, 'Some problems on logical matrices and
valorizations', in Proceedings o f the Third Brazilian Conference on
Mathematical Logic, edited by A. E. Arruda, N. C. A. da Costa and A. M.
Sette, Soc. Brasileira de Logica, 1980, pp. 131-146.

Abraços

Abilio

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CALtFD226mx2DujuBEV4Ba-XR6%2BsSnDTjMnmv%3DBCcv3i54Pp1mg%40mail.gmail.com.

[Logica-l] ICTAC 2021 - 1st cfp

2021-03-17 Por tôpico Elaine Pimentel 
-
Call for Papers

   ICTAC 2021

18th International Colloquium on Theoretical Aspects of Computing

  Nur-Sultan, Kazakhstan, September 6-10, 2021

  https://ictac2021.github.io/

-

** We hope to have a (hybrid) physical event, but presentations can be
given remotely **
** Springer LNCS proceedings and Theoretical Computer Science special issue
**

Important dates:

Submission deadline: May 7, 2021
Notification of acceptance: June 18, 2021


Overview and Scope:

The ICTAC conference series aims at bringing together researchers and
practitioners from academia, industry and government to present research
and exchange ideas and experience addressing challenges in both theoretical
aspects of computing and the exploitation of theory through methods and
tools for system development. ICTAC also aims to promote research
cooperation between developing and industrial countries.

The conference concerns all aspect of theoretical computer science,
including, but not limited to:

 * languages and automata
 * semantics of programming languages
 * logic in computer science
 * lambda calculus, type theory and category theory
 * domain-specific languages
 * theories of concurrency and mobility
 * theories of distributed computing
 * models of objects and components
 * coordination models
 * timed, hybrid, embedded and cyber-physical systems
 * security and privacy
 * static analysis
 * probabilistic and statistical verification
 * software verification
 * software testing
 * runtime verification
 * program generation and transformation
 * model checking and theorem proving
 * applications and case studies


Call for Papers:

We solicit submissions, related to the topics of ICTAC, in the following
categories:

 * original research contributions (16 pages max, excluding references);
 * applications and experiences (16 pages max, excluding references);
 * short papers, with original work in progress or with proposals of new
ideas
and emerging challenges (6 pages max, excluding references); and
 * tool papers (6 pages max, excluding references).

All submissions must be original, unpublished, and not submitted
concurrently
for publication elsewhere. Paper submission is done via EasyChair at
https://easychair.org/conferences/?conf=ictac2021. Papers must be
formatted according to the guidelines for Springer LNCS papers
(see http://www.springer.com/lncs), without modifications of margins
and other space-saving measures.


Publication:

All accepted papers will appear in the proceedings of the conference
that will be published as a volume in Springer's Lecture Notes in
Computer Science (LNCS) series.

The authors of a subset of accepted papers will be invited
to submit extended versions of their papers to a special issue
of the journal Theoretical Computer Science.


Program Chairs:

Antonio Cerone, Nazarbayev University, Kazakhstan
Peter Ölveczky, University of Oslo, Norway


Program Committee:

Erika Abraham, RWTH Aachen University, Germany
Bernhard K. Aichernig, TU Graz, Austria
Musab A. Alturki, Runtime Verification Inc., USA, and
  King Fahd University of Petroleum and Minerals, Saudi Arabia
Etienne Andre, Universite de Lorraine, France
Ebru Aydin Gol, Middle East Technical University, Turkey
Kyungmin Bae, POSTECH, Korea
Maurice ter Beek, ISTI-CNR, Italy
Dirk Beyer, LMU Munich, Germany
Simon Bliudze, INRIA Lille, France
Roberto Bruni, University of Pisa, Italy
Antonio Cerone, Nazarbayev University, Kazakhstan
Manuel Clavel, Vietnamese-German University, Vietnam
Adrian Francalanza, University of Malta, Malta
Rob van Glabbeek, Data61, CSIRO, Australia
Sergey Goncharov, Friedrich-Alexander University Erlangen-Nürnberg, Germany
Jan Friso Groote, Eindhoven University of Technology, The Netherlands
Stefan Gruner, University of Pretoria, South Africa
Osman Hasan, National University of Sciences and Technology, Pakistan
Klaus Havelund, Jet Propulsion Laboratory, USA
Kim Larsen, Aalborg University, Denmark
Axel Legay, Universite catholique de Louvain, Belgium
Martin Leucker, University of Lubeck, Germany
Manuel Mazzara, Innopolis University, Russia
Catherine Meadows, Naval Research Laboratory, USA
Larissa Meinicke, The University of Queensland, Australia
Hans de Nivelle, Nazarbayev University, Kazakhstan
Kazuhiro Ogata, JAIST, Japan
Peter Ölveczky, University of Oslo, Norway
Catuscia Palamidessi, Inria, France
Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil
Jose Proenca, Polytechnic Institute of Porto, Portugal
Riadh Robbana, INSAT, Carthage University, Tunisia
Gwen Salaun, University Grenoble Alpes, France
Davide Sangiorgi, University of Bologna, Italy, and INRIA, France
Lutz Schröder, Friedrich-Alexander University Erlangen-Nürnberg, Germany
Volker Stolz, Western Norway University of Applied