SetVR 2018 (International Workshop on Set Visualization and Reasoning 2018) is the 6th meeting, with the rst one held in 2004, previously called the Euler Diagrams Workshop. It aimed to promote theoretical, empirical, applied research on visualization and diagrammatic reasoning, especially, about sets (set-theoretical and grouped data). SetVR 2018 ran as part of Diagrams 2018 conference, which was held in Edinburgh UK from June 18th to 22nd in 2018, and occupied the rst day (June 18th) during this period.
SetVR 2018 covered all aspects of set visualization and reasoning, especially in research areas such as 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) and application of diagrams (visual modeling; real world reasoning; ontology engineering; data exploration).
SetVR 2018 solicited long and short papers, of which we accepted three long papers and four short papers. Every submission was reviewed by three members of the Program Committee. We were also happy to have Professor Peter C-H. Cheng (University of Sussex) who gave an invited talk titled \Sets For Foundational Representations? A Design Case Study With Probability And Distributions".
We would like to thank the paper authors for their contributions and the program committee members for their reviewing service. We also appreciate Mateja Jamnik and Gem Stapleton for their indispensable advice and the organizers of Diagrams 2018 conference. This workshop was partially funded by a Leverhulme Trust Research Project Grant (RPG-2016-082) for the project entitled Accessible Reasoning with Diagrams.
June 2018
Yuri Sato (University of Brighton) Zohreh Shams (University of Cambridge)
Bilal Alsallakh (Bosch Research and Technology Center) Jim Burton (University of Brighton) Peter Chapman (Edinburgh Napier University) Renata De Freitas (Universidade Federal Fluminense) Mateja Jamnik (University of Cambridge) Sven Linker (University of Liverpool) Luana Micallef (Helsinki Institute for Information Technology) Peter Rodgers (University of Kent) Gem Stapleton (University of Brighton)
Amirouche Mokte (Tallinn University of Technology)
Sets For Foundational Representations? A Design Case Study With Probability And Distributions Peter C-H. Cheng
Picturing Problems: Solving Logic Puzzles Diagrammatically John Howse, Gem Stapleton, Jim Burton, Andrew Blake Creative Insights: Dual Cognitive Processes in Perspicuous Diagrams Sandra Visokolskis, Gonzalo Carrion
Marcos Bautista Lopez Aznar An Ontology Diagram for Coordination of the Hylomorphically Treated Entities Algirdas Budrevicius
Toshio Suzuki Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool Martin Gogolla, Khanh-Hoang Doan A Case Study in Fitting Area-Proportional Euler Diagrams with Ellipses using eulerr Johan Larsson, Peter Gustafsson pp. 1{11