24-28 Aug 2020
Tallinn, Estonia
---------------------------------------------------------------------------------------------------
SetVR 2020: International Workshop on Set Visualization and Reasoning
24-28 August 2020, Tallinn, Estonia
(co-located with Diagrams 2020, August 2020)
-----------------------------------------------------------------------------------------------------
Call for papers
SetVR 2020 will be the 7th meeting, with the first one held in 2004, previously called the Euler Diagrams Workshop.
It aims to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data).
SetVR 2020 will run as part of Diagrams 2020 conference, which will be held from August 24th to 28th in 2020, and is expected to occupy one day during this period.
SetVR 2020 will encourage researchers to submit papers on set visualization and reasoning in the following areas (but not limited to):
- Information Visualization: diagram/graph drawing and layout, data visualization, ontology visualization, human-computer interaction
- Diagrammatic Logic: formalization, inference system, expressiveness, decidability, computational complexity, automated reasoning, history of notation
- Cognitive Science: efficacy evaluation, cognitive process, cognitive model, educational outcome
- Historical and philosophical dimensions related to set visualization and reasoning.
- Application of Diagrams: visual modeling, real world reasoning, ontology engineering, data exploration
For more information, please visit the workshop's website: https://sites.google.com/site/setvr2kn/current-workshop
How to submit a paper
SetVR 2020 welcomes the following types of contributions, in Springer LNCS style:
- Full papers (16 pages): original research, surveys.
- Short papers (8 pages): systems descriptions, software demonstrations, position statements, original research.
All submissions will go through a peer-review process.
Accepted papers are expected to be published online by CEUR Workshop Proceedings (CEUR-WS.org)
Submissions should be made through easychair at: https://easychair.org/conferences/?conf=setvr2020
Important dates
Paper submission due: 10 May 2020.
Notification (at the latest): 22 June 2020
Camera ready deadline: 22 July 2020
Organizers
Amirouche Moktefi (Tallinn University of Technology, Estonia)
Mohanad Alqadah (Umm Al-Qura University, KSA)
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam