[Logica-l] Call for Registration - 1st Meeting Brazil-Colombia in Logic

2021-11-26 Por tôpico 'samuel' via LOGICA-L




CALL FOR REGISTRATION

1st Meeting Brazil-Colombia in Logic

(1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia)

Online Meeting

Universidad Nacional de Colombia at Bogotá – December 14-17, 2021

No registration fee



The Deadline for Registration is


   December 10, 2021


More information may be found at our page:

 

https://sites.google.com/unal.edu.co/i-enclogbracol/

 

Scientific and Organizing Committee:

 

Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA)

Hugo L. Mariano (IME-USP, São Paulo, BRA)

Ciro Russo (UFBA, Salvador de Bahia, BRA)

Samuel G. da Silva (UFBA, Salvador de Bahia, BRA)

Andrés Villaveces (UNAL, Bogotá, COL)

Pedro H. Zambrano (UNAL, Bogotá, COL)

 

Partners:

 

Sociedad Colombiana de Matemáticas

Sociedade Brasileira 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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c17a84fb-ea31-4810-95cc-695f1479d7ben%40dimap.ufrn.br.


[Logica-l] Fwd: [diagrams-list] First Call For Papers: Diagrams 2022

2021-11-26 Por tôpico Petrucio Viana
Bom dia,
divulgando o evento.

P

*** Call for Papers: Diagrams 2022 ***
13th International Conference on the Theory and Application of Diagrams
September 14 – 16, 2022 in Rome, Italy

Diagrams solicits research contributions falling within the scope of the
conference, to be submitted to one of three tracks:
* Main track
* Philosophy of Diagrams track
* Psychology and Education track

Diagrams is the only conference series that provides a united forum for
all areas that are concerned with the study of diagrams and has a
multidisciplinary emphasis.

For 2022, the main track topics include, but are not limited to:
– applications of diagrams,
– computational models of reasoning with, and interpretation of, diagrams,
– design of diagrammatic notations,
– diagram understanding by humans or machines,
– diagram aesthetics and layout,
– educational uses of diagrams (separate call),
– evaluation of diagrammatic notations,
– graphical communication and literacy,
– heterogeneous notations involving diagrams,
– history of diagrammatic notations,
– information visualization using diagrams,
– nature of diagrams and diagramming,
– novel technologies for diagram use,
– philosophy of diagrams (separate call),
– psychological issues pertaining to diagrams (separate call),
– reasoning with diagrams,
– semiotics of diagrams,
– software to support the use of diagrams, and
– usability and human-computer interaction issues concerning diagrams.
– linguistics of diagrams


In addition to the main track, Diagrams 2022 will have two special
tracks: Philosophy, and Psychology & Education. For more information on
the respective tracks, see

http://www.diagrams-conference.org/2022/index.php/calls/main/
http://www.diagrams-conference.org/2022/index.php/calls/philosophy/
http://www.diagrams-conference.org/2022/index.php/calls/psychology-of-diagrams/

If the main research contribution of your submission is considered to be
on either of these themes then you are strongly encouraged to submit to
the respective special track, each of which has a dedicated program
committee.

At least one author of each accepted submission will be expected to be
in attendance at the conference to present their research and respond to
questions presented by delegates.


Submission Categories
The conference will include presentations of refereed Papers, Abstracts,
and Posters, alongside a graduate symposium.
We invite submissions for peer review that focus on any aspect of
diagrams research, as follows:
Long Papers (16 pages)
Abstracts (3 pages)
Short Papers (8 pages)
Posters (4 pages – this is both a maximum and minimum requirement)
All submissions should include diagrams where appropriate.


How to Submit
Submissions should be made by the respective deadline via EasyChair:
https://easychair.org/my/conference?conf=diagrams2022

More details and all important dates can be found at
www.diagrams-conference.org/2022

-- 
Dr Sven Linker
Lecturer in Computing

Lancaster University Leipzig
Strohsack-Passage
Nikolaistraße 10
04109 Leipzig
Germany

Email: s.lin...@lancaster.ac.uk
www.lancasterleipzig.de

-- 
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/CACRvmVQYB3%2BDyqhZLCX51cEi0Bi7Kn5YphXEo%2BtOpL2tz11Msw%40mail.gmail.com.