(PN) 2nd CFP: Diagrams 2021

[Mikkel Willum Johansen]

The organization of Diagrams 2021 is making rapid progress. Five outstanding 
Keynote speakers have now been announced. Also, the free, online conference has 
adopted a novel approach to the program structure that is expected to provide 
fair access to the conference across multiple time zones.

Find more details in the 2nd call for papers attached below or on the webpage 
www.diagrams-conference.org/2021 - and 
do pass on the information if you know researchers or students for whom it may 
be relevant.

Best,
Mikkel Willum Johansen
Publicity Chair
Diagrams 2021


*** Call for Papers: Diagrams 2021 ***

12th International Conference on the Theory and Application of Diagrams
September 28 – 30, 2021
Virtual Event
www.diagrams-conference.org/2021

*** Highlights ***

- FREE REGISTRATION
- Proceedings published by Springer
- Three Tracks: Main, Philosophy, and Psychology and Education.
- Graduate Symposium
- Best Paper and Best Student Paper awards
- Submission dates in April 2021.

* Keynote Speakers Announced ***
Shaaron Ainsworth, University of Nottingham
Daniel Rosenberg, University of Oregon
Katarina Scheiter, University of Tubingen
Atsushi Shimojima, Doshisha University
Frederik Stjernfelt, Aalborg University of Copenhagen

Francesco Bellucci, University of Bologna, is the Inspirational ECR Speaker for 
Diagrams 2021
*** Novel Program Schedule *
Diagrams 2021 will adopt a novel approach to scheduling talks, to accommodate 
different time zones across the globe. See
http://www.diagrams-conference.org/2021/index.php/program/
for more details.
*
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 2021, *MAIN TRACK* conference 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,– 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,
– reasoning with diagrams,
– semiotics of diagrams,
– software to support the use of diagrams, and
– usability and human-computer interaction issues concerning diagrams.
In addition to the main track, Diagrams 2021 will have two further tracks: 
Philosophy, and Psychology and Education; for their topics of interest, see
http://www.diagrams-conference.org/2021/index.php/calls/main-track/
http://www.diagrams-conference.org/2021/index.php/calls/philosophy/
http://www.diagrams-conference.org/2021/index.php/calls/psychology-of-diagrams/.

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

Authors of accepted submissions will be expected to be in attendance at the 
virtual conference to present their research and respond to questions presented 
by delegates. All presenters must accept that it is not within the power of the 
organisers to prevent delegates from recording  talks. However, when 
registering, delegates will be asked to confirm that they will not record any 
part of the conference.
*
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).
More details and all important dates can be found on at 
www.diagrams-conference.org/2021.
*



Mikkel Willum Johansen
Associate professor
Department of Science Education
University of Copenhagen
Tlf: (+45) 28 72 84 41


[[ Petri Nets World:]]
[[  http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:]]
[[   petri...@informatik.uni-hamburg.de ]]

(PN) Bx 2021 - FIRST CALL FOR PAPERS

[Lambers, Leen]

Bx 2021 - FIRST CALL FOR PAPERS

**

9th International Workshop on Bidirectional Transformations (Bx 2021)
as part of the STAF conference (21-25 June 2021), 
Western Norway University of Applied Sciences, Bergen, Norway
http://bx-community.wikidot.com/bx2021:home
   
**
* Important dates:
* Abstract submission: April 27, 2021
* Paper Submission: May 4, 2021
**

The workshop will switch to an online format in case it cannot take 
place in Bergen (Norway) due to the pandemic. 

**

OVERVIEW
=

Bidirectional transformations (bx) are a mechanism for maintaining the 
consistency between two or more related (and heterogeneous) sources of 
information (i.e., relational databases, software models and code, or any other 
artefacts following standard or domain-specific formats). The strongest 
argument in favour of bx is its ability to provide a synchronization mechanism 
that is guaranteed to be correct by construction.

Bx has been attracting a wide range of research areas and communities, with 
prominent presence at top conferences in several different fields (namely 
databases, programming languages, software engineering, and graph 
transformation). Nowadays, the fast-growing complexity of software- or data- 
intensive systems has forced the industry and the academy to use and 
investigate different development techniques to manage the many different 
aspects of the systems. Researchers are actively investigating the use of 
bidirectional approaches to tackle a diverse set of challenges with various 
applications including model-driven software development, visualization with 
direct manipulation, big data, databases, domain-specific languages, 
serializers, and data transformation, integration and exchange. Bx 2021 is a 
dedicated venue for bx in all relevant fields and is part of a workshop series 
that was created in order to promote cross-disciplinary research and awareness 
in the area. As such, since its beginning in 2012, the workshop has rotated 
between venues in different fields.


TOPICS
=

The aim of the workshop is to bring together researchers and practitioners, 
established and new, interested in bx from different perspectives, including 
but not limited to:

* bidirectional programming languages and frameworks
* software development with bx
* data and model synchronization
* view updating
* inter-model consistency analysis and repair
* data/schema (or model/metamodel) co-evolution
* coupled software/model transformations
* inversion of transformations and data exchange mappings
* domain-specific languages for bx
* analysis and classification of requirements for bx
* bridging the gap between formal concepts and application scenarios
* analysis of efficiency of transformation algorithms and benchmarks
* model-driven and model-based approaches
* survey and comparison of bx technologies
* case studies and tool support

CATEGORIES OF SUBMISSIONS
=

Five categories of submissions are considered:

* Full Research Papers (up to 15 pages)
 - in-depth presentations of novel concepts and results
 - applications of bx to new domains
 - survey papers providing novel comparisons between existing bx 
technologies and approaches, case studies 

* Tool Papers (up to 8 pages)
 - guideline papers presenting best practices for employing a specific bx 
approach (with a specific tool) 
 - presentation of new tools or substantial improvements to existing ones 
 - qualitative and/or quantitative comparisons of applying different bx 
approaches and tools 

* Experience Report (up to 8 pages)
 - sharing experiences and lessons learned with bx 
tools/frameworks/languages 
 - how bx is used in (research/industrial/educational) projects

* Extended Abstracts and Short Papers (up to 5 pages)
 - work in progress
 - small focused contributions
 - position papers and research perspectives
 - critical questions and challenges for bx

* Talk Proposals (up to 2 pages)
 - proposed lectures about topics of interest for bx
 - existing work representing relevant contributions for bx
 - promising contributions that are not mature enough to be proposed as 
papers of the other categories 

If your submission is not a Full Research Paper, please include the intended 
submission category in the Title field of EasyChair’s submission form.

The bibliography is excluded from the page limits. All papers are expected to 
be self-contained and well-written. Tool papers are not expected to present 
novel scientific results, but to document artifacts of 

(PN) PhD studentship: AI+Logic = Safe Autonomous Driving

[Paolo Zuliani]

Dear all,

Sadegh Soudjani and I have available at Newcastle University (UK) a PhD
studentship on machine learning for the verification of autonomous systems.

Deadline: March 19th

Eligibility: UK and international (including EU) candidates

To apply:
https://www.ncl.ac.uk/postgraduate/funding/sources/allstudents/comp2105.html

Thanks,
Paolo

--
Dr Paolo Zuliani
Senior Lecturer
School of Computing
Newcastle University, UK
https://pzuliani.github.io/

[[ Petri Nets World:]]
[[  http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:]]
[[   petri...@informatik.uni-hamburg.de ]]

(PN) PhD studentship on AI and brain modelling

[Paolo Zuliani]

 Dear all,

We have available at Newcastle University (UK) a PhD studentship on machine
learning and control theory for devising personalised brain stimulation
therapies for epilepsy.

Deadline:* March 19th*

Eligibility: UK and international (including EU) candidates

To apply:
https://www.ncl.ac.uk/postgraduate/funding/sources/allstudents/comp2108.html


Thanks,
Paolo

--
Dr Paolo Zuliani
Senior Lecturer
School of Computing
Newcastle University, UK
https://pzuliani.github.io/

[[ Petri Nets World:]]
[[  http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:]]
[[   petri...@informatik.uni-hamburg.de ]]