[TYPES/announce] 5 permanent positions (lecturer, senior lecturer, associate professor) at Swansea University, UK

[Roggenbach M.]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

5 Permanent Posts at Swansea University, UK - Closing Date: 13-06-2021

  *   LECTURER/ SENIOR LECTURER IN COMPUTER SCIENCE (RESEARCH) - 
https://tinyurl.com/SU-CSresearch2021
  *   ASSOCIATE PROFESSOR - COMPUTER SCIENCE (RESEARCH) - 
https://tinyurl.com/SU-CSresearchAP2021
  *   LECTURER/SENIOR LECTURER IN COMPUTER SCIENCE (TEACHING) - 
https://tinyurl.com/SU-CSteaching2021

Swansea University is seeking to appoint motivated individuals to enhance our 
research and learning and teaching within Computer Science.
The research focus can be in any area of Computer Science.  The Department of 
Computer Science at Swansea boasts one of the largest Theory groups in the UK. 
Over the past 50 years, Swansea theoreticians have made seminal discoveries in 
the theories of data, algorithms, processes, languages and verification.

Informal enquiries can be sent to Prof M Roggenbach (Director of Research): 
m.roggenb...@swansea.ac.uk

[TYPES/announce] fm...@jiscmail.ac.uk

[Roggenbach M.]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Dear friends,

it is my pleasure to invite you to participate in our Virtual WADT on

 Wednesday, 29.4.2020
 9.30 - 16.00 BST

to be held using the Zoom Software. Please share this invitation with your 
students and scientific friends: the more participants the better.

For more details, please see our webpage https://wadt2020.github.io

As a physical meeting, the 25th International Workshop on Algebraic Development 
Techniques 2020 will be co-located with ETAPS 2020 in Dublin. As ETAPS 2020 has 
been postponed due the pandemic, WADT 2020 will additionally happen as a 
virtual workshop, where a subset of the accepted abstracts will be presented. 
WADT focuses on the algebraic approach to system specification, which  
encompasses many aspects of the formal design of software systems.

The programme of the Virtual Worskhop, 29.4.2020, via Zoom is as follows:

#Session 1: (Chair: Alexander Knapp - for the 3rd talk: Andrea Corradini)

• 9.30 Conor Reynolds and Rosemary Monahan: Formalizing Institutions in the Coq 
Proof Assistant
• 10.00 Ionut Tutu, José Luiz Fiadeiro and Claudia Chirita: Dynamic 
reconfigurations through hybrid lenses
• 10.30 Tobias Rosenberger, Saddek Bensalem, Alexander Knapp and Markus 
Roggenbach: Unbabel your tools - Leveraging SPASS for UML

– break, with the possibility for some social conversations in the virtual 
conference room –

#Session 2: (Chair: Marieke Huismann)

• 11.30 Wytse Oortwijn: Verifying Distributed Systems by Abstracting Channel 
Interaction
• 12.00 Dominik Klumpp and Philip Lenzen: K and KIV - Towards Deductive 
Verification for Arbitrary Programming Languages

– lunch break –

#Session 3: (Chair: Markus Roggenbach)

• 14.00 Manisha Jain, Alexandre Madeira and Manuel A. Martins: Quotients and 
reductions in a simple Fuzzy Modal Logic
• 14.30 Navid Roux and Florian Rabe: Functorial Diagram Operators
• 15.00 Jan Bergstra and John Tucker: The wheel of rational numbers as an 
abstract data type
• 15.30 Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi: From 
Linear to Concurrent Algebra: a Diagrammatic Approach

All times are given in British Summer Time (BST)

Not all papers that have been accepted for presentation at the physical 
workshop will be presented at the virtual workshop.

With kind regards,
  Markus Roggenbach

[TYPES/announce] WADT 2020 - Call for Abstracts

[Roggenbach M.]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

---
Call For Abstracts WADT 2020
---

===
25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020
===

https://wadt2020.github.io

Dublin, Ireland, 25.-26. April 2020

Co-located with ETAPS 2020

---
Submission link:  https://easychair.org/conferences/?conf=wadt2020
Abstract Submission Deadline: 14.2.2020
Notification: 24.2.2020
---

The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as a
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems). The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues,
and to discuss new ideas and future trends.

The workshop takes place under the auspices of IFIP WG 1.3.

WADT 2020 will have three thematic streams and one general stream:

Graph Transformation – chair: Andrea Corradini, Italy
System Modelling – chair: Alexander Knapp, Germany
Deductive Software Verification – chair: Marieke Huismanm, The Netherlands
General Stream - chair: Markus Roggenbach, UK

---
GRAPH TRANSFORMATION STREAM
---

The  graph   transformation  stream  seeks  contributions  addressing
theoretical,  application oriented  or tool  related aspects  of graph
transformation, or  any combination of  them. Here is  a non-exclusive
list of topics:

- Foundations of algebraic and set-based approaches to graph transformation
- Relations between graph transformation and other computational models
- Analysis, verification, validation and testing of graph transformation systems
- Applications to software engineering, including software architectures, 
refactoring,
 business processes, access control and service-orientation
- Applications to computing paradigms such as bio-inspired, string diagrams, 
quantum, ubiquitous, and visual computing
- Tools based on or supporting the development of graph transformation systems.

---
SYSTEM MODELLING STREAM
---

The system modelling stream seeks contributions in the (co-)algebraic
and model-based tradition of system specification and verification,
for which typical, but not exclusive topics of interest are:

- Systems modelling
- System views and consistency
- Real-time, Hybrid, and Cyber-physical systems
- Modelling languages, like UML, SysML, etc., and their profiles
- Model transformations
- Model-based testing
- Tools for systems specification, testing, and verification

---
DEDUCTIVE SOFTWARE VERIFICATION STREAM
---

The deductive software verification stream seeks contributions
addressing theoretical or tool-related contributions in the area of
deductive software verification. Also experience reports are
welcome. Here is a non-exclusive list of topics:

- Foundations of deductive software verification and program logics
- Advancing deductive software verification techniques to new programming 
languages,
 or different programming paradigms
- Automating deductive software verification
- Combinations of deductive software verification techniques with other formal 
methods
- Applications of deductive software verification on industrial case studies

This stream will be scheduled in such a way that there will be no overlap with 
the VerifyThis workshop at Etaps 2020.

---
GENERAL STREAM
---

Typical, but not exclusive topics of interest for the general stream are:

- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and 
 models of concurrent, distributed, and cyber-physical