--------------------------------------------------------------------------------------
Call For Papers
Int. Workshop on External and Internal Calculi for Non Classical Logics
(EICNCL 2018)
Oxford, UK, 19 July 2018
(affiliated with IJCAR 2018 in FLOC 2018)
http://weic2018.loria.fr/
Deadline for submission: 23 April 2018
----------------------------------------------------------------------
-------------------
A one day workshop on External and Internal Calculi for Non Classical
Logics will be held the 19 July 2018 in conjunction with the IJCAR 2018
Conference during FLOC 2018 in Oxford, UK.
The purpose of this workshop would be to discuss recent results on
analytic (external or internal) calculi for non-classical logics like
intuitionistic, modal, epistemic logics, conditional logics,
substructural, resouce logics, and other logical systems.
Among some key points we can mention the relationships between
internal and external calculi for such logics and also their use for
studying proof-search, automated deduction (proof-theory and
implementation) and also logical properties like decidability,
conservativity, axiomatisations and interpolation.
The workshop is intended to provide a forum for discussion between
researchers interested in topics including, but not limited to, the
following areas:
- External and internal calculi for non-classical logics
- Relationships and embeddings (translations) between calculi,
interactions between syntax and semantics
- New calculi for studying problems like decidability, conservativity
and interpolation
- Proof-search and countermodel generation
- Methodologies and tools for translations between calculi
- Implementations of analytic calculi, proof assistants
We envisage a range of perspectives: proof-theoretic foundations,
including decidability and complexity; model-theoretic, including
semantic foundations (e.g., new semantics), modelling and verification
of programs and systems.
SUBMISSIONS
Researchers interested in presenting their works are invited to submit
an extended abstract (up to 10 pages) through Easychair :
https://easychair.org/conferences/?conf=eicncl2018
by 23 April 2018.
Papers will be reviewed by peers, typically members of
the Programme Committee.
A Special Issue of a Journal on these topics is expected
after the workshop.
PROGRAM COMMITTEE
J. Brotherston (University College, London, UK)
A. Ciabattoni (TU Vienna, Austria - co-chair)
D. Galmiche (Lorraine University, CNRS, LORIA, France - co-chair)
R. Goré (Australian National University, Australia)
D. Larchey-Wendling (Lorraine University, CNRS, LORIA, France)
G. Metcalfe (University of Bern, Switzerland)
S. Negri (University of Helsinki, Finland)
N. Olivetti (LSIS, Aix-Marseille University, France - co-chair)
J. Otten (University of Oslo, Norway)
V. de Paiva (Nuance communications, USA)
R. Ramanayake (TU Vienna, Austria - co-chair)
K. Sano (Hokkaido University, Japan)
L. Santocanale (LIF, Aix-Marseille University, France)
S. Smets (ILLC, Amsterdam University, Netherlands)
L. Vigano (King's College London, UK)
IMPORTANT DATES
Submission deadline: 23 April 2018
Notification to authors: 9 May 2018
Final versions due: 21 May 2018
Workshop date: 19 July 2018
Additional information will be available through WWW address:
http://weic2018.loria.fr/
The workshop is co-organized by A. Ciabattoni, R. Ramanayake (TU
Vienna), N. Olivetti (LSIS, Aix-marseille University) and D. Galmiche
(LORIA - Lorraine University)
[Apologies for multiple copies.]
DEADLINE APPROACHING
WoLLIC 2018
25th Workshop on Logic, Language, Information and Computation
July 24th to 27th, 2018
Bogotá, Colombia
SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC)
Sociedade Brasileira de Computação (SBC)
Sociedade Brasileira de Lógica (SBL)
ORGANISATION
Departamento de Matemáticas, Universidad de los Andes, Colombia
Centro de Informática, Universidade Federal de Pernambuco, Brazil
HOSTED BY
Departamento de Matemáticas, Universidad de los Andes, Colombia
CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophy of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see authors instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 <http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2018 EasyChair website. (Please go to http://wollic.org/wollic2018/instructions.html <http://wollic.org/wollic2018/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Mar 11, 2018, and the full paper by Mar 18, 2018 (firm date). Notifications are expected by Apr 15, 2018, and final papers for the proceedings will be due by Apr 22, 2018 (firm date).
PROCEEDINGS
The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed).
INVITED SPEAKERS
Katalin Bimbo (Univ of Alberta, Canada)
Xavier Caicedo (Univ de Los Andes, Colombia)
José Meseguer (Univ of Illinois, Urbana-Champaign, USA)
Elaine Pimentel (Univ Federal do Rio Grande do Norte, Brazil)
Guillermo Simari (Univ Nacional del Sur, Argentina)
Renata Wassermann (Univ de São Paulo, Brazil)
SPECIAL SCREENING - A TRIBUTE TO THE MEMORY AND LEGACY OF RAYMOND SMULLYAN
As a tribute to the memory and legacy of the late Raymond Smullyan, who passed away in February 2017, there will be a special session with a screening of the documentary film "This Film Needs No Title: A Portrait of Raymond Smullyan" (Dir. Tao Ruspoli, 2006, 30min), as well as short testimonies by experts.
STUDENT GRANTS
ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details.
IMPORTANT DATES
Mar 11, 2018: Paper title and abstract deadline
Mar 18, 2018: Full paper deadline
Apr 15, 2018: Author notification
Apr 22, 2018: Final version deadline (firm)
PROGRAMME COMMITTEE
Siddharth Bhaskar (Haverford College, USA)
Torben Braüner (Roskilde University, Denmark)
Hazel Brickhill (University of Bristol, UK)
Michael Detlefsen (University of Notre Dame, USA)
Juliette Kennedy (University of Helsinki, Finland)
Sophia Knight (Uppsala University, Sweden)
Alex Kruckman (Indiana University, USA)
Maricarmen Martinez Baldares (Universidad de los Andes, Colombia)
Frederike Moltmann (CNRS, France)
Lawrence Moss (Indiana University, USA) (CHAIR)
Cláudia Nalon (University of Brasília, Brazil)
Valeria de Paiva (Nuance Comms, USA, and University of Birmingham, UK)
Sophie Pinchinat (IRISA Rennes, France)
David Pym (University College London, UK)
Ruy de Queiroz (Univ Federal de Pernambuco, Brazil)
Revantha Ramanayake (Vienna University of Technology, Austria)
Giselle Reis (Carnegie Mellon University, Qatar)
Jeremy Seligman (The University of Auckland, New Zealand)
Yanjing Wang (Peking University, China)
Fan Yang (Delft University of Technology, The Netherlands)
STEERING COMMITTEE
Samson Abramsky, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Valeria de Paiva, Ruy de Queiroz, Jouko Väänänen. (Former Member: Grigori Mints (deceased).)
ORGANISING COMMITTEE
Jaime A. Bohórquez (Escuela Colombiana de Ingeniería, Bogotá, Colombia)
Xavier Caicedo (Universidad de los Andes, Colombia) (Local co-chair)
Nicolás Cardozo (Universidad de los Andes, Bogotá, Colombia)
Maricarmen Martínez (Universidad de los Andes, Colombia) (Local co-chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
Camilo Rocha (Universidad Javeriana, Cali, Colombia)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
http://wollic.org/wollic2018/ <http://wollic.org/wollic2018/>
国立情報学研究所の勝股です。
数学的構造に基づく関数型プログラミング研究のワークショップ MSFP
に関してご案内いたします。今回は、6月に開催されるFSCDに併設される形で
行われます。ぜひ投稿をご検討ください。
Seventh Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Sunday 8th July 2018, Oxford, UK
A satellite workshop of FSCD 2018
http://msfp2018.bentnib.org/
** New this time: additional talk proposal category **
** Deadline: 5th April (abstract), 12th April (paper) **
The seventh workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, just after ETAPS 2016.
Important Dates:
================
Abstract deadline: 5th April (Thursday)
Paper deadline: 12th April (Thursday)
Notification: 17th May (Thursday)
Final version: 14th June (Thursday)
Workshop: 8th July (Sunday)
Invited Speakers:
=================
- Tamara von Glehn, University of Cambridge, UK
- Didier Remy, INRIA, France
Program Committee:
==================
Andreas Abel - Chalmers, Sweden
Danel Ahman - INRIA Paris, France
Robert Atkey - University of Strathclyde, UK (co-chair)
Jeremy Gibbons - University of Oxford, UK
Jennifer Hackett - University of Nottingham, UK
Mauro Jaskelioff - Universidad Nacional de Rosario, Argentina
Shin-ya Katsumata - National Institute of Informatics, Japan
Sam Lindley - University of Edinburgh, UK (co-chair)
Clare Martin - Oxford Brookes University, UK
Shin-Cheng Mu - Academia Sinica, Taiwan
Valeria de Paiva - Nuance Communications, US
Alexandra Silva - University College London, UK
Submission:
===========
Submissions are welcomed on, but by no means restricted to, topics
such as:
structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data
Please contact the programme chairs Robert Atkey and Sam Lindley if
you have any questions about the scope of the workshop.
(New this time) We accept two categories of submission: full papers of
no more than 15 pages that will appear in the proceedings, and
extended abstracts of no more than 2 pages which we will post on the
website, but which do not constitute formal publications and will not
appear in the proceedings. References and appendices are not included
in page limits. Appendices may not be read by reviewers.
Full papers (not two page talk abstracts) must report previously
unpublished work and not be submitted concurrently to another
conference with refereed proceedings. Accepted papers and talks must
be presented at the workshop by at least one of the authors.
The proceedings will be published under the auspices of EPTCS with a
Creative Commons license.
We are using EasyChair to manage submissions. To submit a paper, use
this link:
https://easychair.org/conferences/?conf=msfp2018.
皆様、
東北大学の菊池健太郎です。7月にOxfordで開催される
合流性に関する国際ワークショップIWC 2018のご案内を
させていただきます。どうぞよろしくお願いいたします。
-----
(* Apologies for any cross-postings. *)
=====================================================================
Call for Papers
IWC 2018
7th International Workshop on Confluence
July 7th, 2018, Oxford, United Kingdom
Collocated with FSCD 2018
Part of FLoC 2018
http://cl-informatik.uibk.ac.at/events/iwc-2018/
=====================================================================
Confluence provides a general notion of determinism and is widely
viewed as one of the central properties of rewriting. Confluence
relates to many topics of rewriting (completion, modularity,
termination, commutation, etc.) and has been investigated in many
formalisms of rewriting such as first-order rewriting, lambda-calculi,
higher-order rewriting, constrained rewriting, conditional rewriting,
etc. Recently there is a renewed interest in confluence research,
resulting in new techniques, tool support, certification as well as
new applications.
The International Workshop on Confluence (IWC) aims at promoting
further research in confluence and related properties. IWC 2018 is
collocated with FSCD 2017. Previous editions of the workshop were held
in Nagoya (2012), Eindhoven (2013), Vienna (2014), Berlin (2015),
Obergurgl (2016), and Oxford (2017).
IMPORTANT DATES:
* submission Sunday, April 15th, 2018
* notification Tuesday, May 15th, 2018
* final version Tuesday, May 29th, 2018
* workshop Saturday, July 7th, 2018
(deadlines are AoE)
TOPICS:
Specific topics of interest include:
* confluence and related properties (unique normal forms, commutation,
ground confluence)
* completion
* critical pair criteria
* decidability issues
* complexity issues
* system descriptions
* certification
* applications of confluence
INVITED SPEAKERS:
tba
PROGRAM COMMITTEE:
* Bertram Felgenhauer (University of Innsbruck)
* Jeroen Ketema (TNO-ESI)
* Kentaro Kikuchi (Tohoku University)
* Samuel Mimram (LIX laboratory, École Polytechnique)
* Julian Nagele (Queen Mary University of London)
* Jakob Grue Simonsen (University of Copenhagen)
SUBMISSION:
We solicit short papers or extended abstracts of at most five pages.
There will be no formal reviewing. In particular, we welcome short
versions of recently published articles and papers submitted
elsewhere. The program committee checks relevance and may provide
additional feedback. The accepted papers will be made available
electronically before the workshop.
The page limit for papers is 5 pages in EasyChair style. Short papers
or extended abstracts must be submitted electronically through the
EasyChair system at:
https://www.easychair.org/conferences/?conf=iwc2018
EasyChair style:
http://easychair.org/publications/for_authors
【明日,明後日および明々後日の講演会のリマインダーです】
皆様,
2月28日(水)~3月1日(木),東工大にて両日16:30からSakarovitch先生による連続講演会があります.
水曜と木曜で会場が異なりますのでご注意ください.
3月2日(金)にも東大にて13:30からSakarovitch先生の講演会が開催されます.
参加のご検討,どうぞよろしくお願いします.
秋田大学 数理科学コース 新屋良磨
> On Feb 9, 2018, at 9:04, 新屋良磨(秋田大) <ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>> wrote:
>
> (重複で受け取られた方はご容赦ください)
> 皆様,
>
> 秋田大の新屋です.
>
> 2月28日〜3月1日の東工大でのJacques Sakarovitch先生の連続講演会について,開催時間が変更されましたので,
> 概要を改めて再通知させていただきます.
>
> 同日に東工大にて行われるプログラミング研究会と時間が重なっていたため,開始時刻を遅らせて
> Lecture/Seminar ともに16:30からの開始とさせていただきました.*会場は変更ありません.
>
>
> ========== Lecture ==========
> Time:
> 16:30 ~ 17:30, February 28, 2018 (Wed.)
>
>
> Venue:
> Room W935, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus)
> 東京工業大学大岡山キャンパス 西9号館 W935講義室 (西9号館東側(芝生スロープ側)入口を入って階段を1階上がって左側)
>
>
> Title:
> Automata and expressions
>
> Jacques Sakarovitch
> CNRS / Paris Diderot University and Telecom ParisTech
>
>
> Abstract:
> Not many results in Computer Science are recognised to be as basic and
> fundamental as Kleene Theorem. It states the equality of two sets of
> objects that we now call languages.
>
> In this lecture, I propose a slight change of focus on this result and show
> how it is mainly the combination of two families of algorithms:
> algorithms that transform an automaton into an expression on one hand
> and algorithms that build an automaton from an expression on the other.
>
> The first purpose is to compare the results of these algorithms,
> in order to understand they are indeed not so different.
> And also to devise means to keep these results as small as possible.
>
> The second benefit of isolating this part of Kleene Theorem is to allow
> its extension much beyond languages: to subsets of arbitrary monoids
> first, and then, with some precaution, to subsets with multiplicity,
> that is, to formal power series.
> ===========================
>
>
> ========== Seminar ==========
> Time:
> 16:30 ~ 17:30, March 1, 2018 (Thu.)
>
>
> Venue:
> Multi-Purpose Digital Hall, West Bldg. 9, Tokyo Institute of Technology (Ookayama Campus)
> 東京工業大学大岡山キャンパス 西9号館 ディジタル多目的ホール (西9号館東側(芝生スロープ側)入口を入ってすぐ)
>
>
> Title:
> Conjugacy and equivalence of weighted automata
>
> Jacques Sakarovitch
> CNRS / Paris Diderot University and Telecom ParisTech
>
>
> Abstract:
> As a main thread of this talk, I present the proof of the following result:
>
> If two regular languages $L$ and $K$ have the same generating
> functions, that is, for every integer $n$ they have the same number of
> words of length $n$, there exists a rational bijection realised by a
> letter-to-letter transducer that maps $L$ onto $K$.
>
> This statement is a consequence of a refinement of the decidability of
> the equivalence of two automata with multiplicity in $N$. It gives us
> the opportunity to review first the basic definitions and results on
> weighted finite automata, and second to revisit the `classical' theory
> of reduction of automata with two notions borrowed to symbolic
> dynamics: conjugacy and the Finite Equivalence Theorem.
> ===========================
>
>
> 大岡山キャンパスまでの行き方は以下をご覧ください:
> https://www.titech.ac.jp/maps/ <https://www.titech.ac.jp/maps/>
> 西9号館までの行き方は
> http://www.dst.titech.ac.jp/outline/facility/hall.html <http://www.dst.titech.ac.jp/outline/facility/hall.html>
> の中の地図をご覧ください。
>
> 以上,どうぞよろしくお願いします.
>
> 秋田大学 数理科学コース 新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>
> (共催:東京工業大学 情報理工学院 鹿島亮)
> Begin forwarded message:
>
> From: "新屋良磨(秋田大)" <ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>>
> Subject: [jssst-ppl] Talk by Prof. Jacques Sakarovitch (March 2, 2018)
> Date: February 16, 2018 12:14:47 JST
> To: logic-ml(a)fos.kuis.kyoto-u.ac.jp <mailto:logic-ml@fos.kuis.kyoto-u.ac.jp>, jssst-ppl(a)fos.kuis.kyoto-u.ac.jp <mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp>
>
> (重複で受け取られた方はご容赦ください)
> 皆様,
>
> 秋田大学の新屋です.
>
> 以下の要領で3/2(金)に東大にてJacques Sakarovitch先生の講演会が開催されます.
>
> なお,前日(2/28~3/1)の東工大でのSakarovitch先生の連続講演会とは講演内容が別の
> 新規なものとなっております.どうぞふるってご参加ください.
>
> 秋田大学 数理科学コース 新屋良磨 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp>
>
> ==========
> Time:
> 1:30pm, March. 2, 2018
>
>
> Venue:
> Room 236, East Building of Department of Chemistry, Faculty of Science(化学東館), University of Tokyo
>
>
> Title:
> Mysteries and marvels of rational base numeration systems
>
> Jacques Sakarovitch
> CNRS / Paris Diderot University and Telecom ParisTech
>
>
> Abstract:
> The definition of numeration systems with rational base, in a joint
> work with S. Akiyama and Ch. Frougny (Israel J. Math., 2008),
> has allowed to make some progress in a number theoretic problem,
> by means of automata theory and combinatorics of words.
> At the same time, it raised the problem of understanding the
> structure of the sets of the representations of the integers in these
> systems from the point of view of formal language theory.
>
> At first sight, these sets look rather chaotic and do not fit well
> in the classical Chomsky hierarchy of languages. They all enjoy a
> property that makes them defeat, so to speak, any kind of iteration
> lemma. On the other hand, these sets also exhibit remarkable
> regularity properties.
>
> During the recent years, these regularities have been studied in a
> series of joint papers with my student V. Marsault. In particular, we
> have shown that periodic signatures are characteristic of the
> representation languages in rational base numeration systems and
> studied, jointly with S. Akiyama, a kind of autosimilarity property
> that also leads to the construction of Cantor-like sets.
>
> These languages still keep most of their mystery. The partial results
> which will be presented call for further investigations on the subject
> even stronger.
> ==========
> _______________________________________________
> jssst-ppl mailing list
> jssst-ppl(a)fos.kuis.kyoto-u.ac.jp <mailto:jssst-ppl@fos.kuis.kyoto-u.ac.jp>
> http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl <http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/jssst-ppl>
[Apologies for multiple copies]
Dear all,
Let me advertise our next ERATO MMSD project colloquium talk by Étienne
André and Bart Jacobs on 1 March, 16:00-. Please find the title and the
abstract below. You are all invited.
Sincerely,
--
Natsuki Urabe
urabenatsuki(a)is.s.u-tokyo.ac.jp
The University of Tokyo, ERATO MMSD
----
Thu 1 March 2018, 16:00–18:00
ERATO MMSD Takebashi Site Common Room 3
http://group-mmm.org/eratommsd/access.html
16:00–17:00
Étienne André (University Paris 13),
Parametric timed automata: theory and applications
Critical real-time systems must be formally verified to prevent any
undesired behavior. When some timing constants are known with only a
limited precision, traditional timed model-checking techniques may not
apply anymore.
We use here the formalism of parametric timed automata. Parametric timed
automata are very expressive, and decision problems are notoriously very
hard (in fact most interesting decision problems are undecidable). On the
one hand, we review decidability results, and propose new decidable
subclasses. On the other hand, we adopt a more pragmatic approach, and show
that parametric timed automata allow us to model and verify distributed
real-time systems; using the IMITATOR software, we derive best- and
worst-case execution times for a real-time system designed by Thales, and
subject to uncertainty in some tasks periods.
We also briefly report on recent techniques to speed-up the verification
time using abstractions, and on distributed parametric model checking.
17:00–18:00
Bart Jacobs (Radboud University),
Privacy and Security in Identity Management and Medical Research
This talk will given an overview of the ideas behind two practically
oriented security and privacy projects at Nijmegen, NL:
1. Attribute-based identity management via the IRMA platform, see
https://privacybydesign.foundation/en/
If interested, you can before the talk already install the IRMA app on your
(Android or iOS) phone and collect some attributes yourself.
2. Polymorphic encryption and Pseudonymisation for a large scale Parkinson
research study, see: https://pep.cs.ru.nl/