August 2026 - Categories - categories.org.au

[CFP] Relational and Algebraic Methods in CS — Thematic Issue of Fundamenta Informaticae
by Luigi Santocanale 09 Aug '26

09 Aug '26

(Apologies for multiple posting) OPEN CALL FOR PAPERS FOR JOURNAL THEMATIC ISSUE Relational and Algebraic Methods in Computer Science Thematic Issue of the journal Fundamenta Informaticae (FI) https://fi.episciences.org/ IMPORTANT DATES: Submission Deadline: 31/10/2026. Notification (tentative): 30/04/2027. TOPICS: Relational and algebraic methods belong to the core of computer science. This special issue aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications. We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their formalisation with theorem provers - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2026 conference (Springer LNCS 16526, https://link.springer.com/book/10.1007/978-3-032-22469-9) this call is open to anyone interested in the field of relational and algebraic methods. SUBMISSION INSTRUCTIONS: All submissions will be evaluated solely with respect to their novelty, significance and technical quality according to the high standards of the journal FI. They must adhere to the standard FI guide for authors: https://fi.episciences.org/page/author-guidelines Authors must first prepare a preprint and post it on CoRR/arXiv or HAL (https://hal.science/) An account on one of these platforms is required prior to submission. Authors should then upload their manuscript to the Episcience online system as follows: - [Create and] sign in to your episciences account (https://fi.episciences.org/user/) - Go to https://fi.episciences.org/submit/index. - Insert your manuscript arXiv or HAL identifier and click "Search". - On the next page, pick "Relational and Algebraic Methods in Computer Science" from the menu list "Submit in the volume:". - Complete the rest of the form in the page and submit. Deviation from these requirements may lead to immediate rejection. EDITORS: Uli Fahrenberg (LMF, Paris-Saclay University, France, guest editor FI) Wesley Fussner (Institute of Computer Science, Czech Academy of Sciences, Prague, Czechia, guest editor FI) Luigi Santocanale (LIS, Aix-Marseille Université, France, guest editor FI) -- Luigi Santocanale, professeur, LIS/AMU

1 0

Eduardo
by Penon Jacques 05 Aug '26

05 Aug '26

Cher André, C'est par ton mail que j'ai appris la nouvelle de la mort d'Eduardo Dubuc. Celle-ci m'a profondément affecté, plus sans doute que je ne l'aurais imaginé. Je pense qu' Eduardo a joué un rôle important dans ma carrière de mathématicien. Je me souviens que nous avions sympathisé lors de mon principal séjour à Montréal. C'était après ma première conférence sur le nouveau continent et celle-ci avait été désastreuse. Mais j'imagine que tu t'en souviens toi aussi. Gonzalo Reyes et Eduardo Dubuc avaient alors passé la soirée à me réconforter et je leur en suis particulièrement reconnaissant. C'est à cette époque qu'a débuté, avec Eduardo, notre collaboration sur les quasi-topos. Lors de mes autres séjours, Eduardo Dubuc, Gonzalo Reyes mais aussi Marta Bung et moi même, avons collaboré en Géométrie différentielle synthétique. Mais c'est de nous quatre qu' Eduardo s'est le plus illustré en construisant un modèle de la Géométrie différentielle synthétique répondant aux conditions attendues par Lawvere. Je garde de cette époque un merveilleux souvenir car nous étions tous pétris d'enthousiasme par notre passion commune. Pour moi Eduardo a une place à part parmi les mathématiciens que j'ai pu côtoyer.Très direct, ne s'embarrassant pas de considérations superflues, il surprenait. Il pouvait choquer. Dans son travail, en plus d'être très rigoureux, il était surtout très méthodique,rédigeant au fur et à mesure pour lui-même ce qu'il avait produit. Depuis je me suis beaucoup inspiré de ses méthodes. Mais curieusement il ne voulait pas que son travail empiète trop sur sa vie privée. En effet, à côté de cet homme rigoureux, il y avait aussi un bon vivant qui savait jouir de la vie; aimant la bonne chair avec même beaucoup de raffinement. Cependant, dans cette vie privée il gardait aussi une attitude scientifique; n'hésitant pas à faire des expériences de tous ordres, en particulier sur son corps, pour découvrir ses limites, ce qui l'a conduit parfois à mettre sa vie en danger. Eduardo Dubuc restera pour moi un personnage marquant que je ne pourrai oublier. Amitiés Jacques Penon P.S. Une photo du 18 juillet 2018.

1 0

Eduardo's picture
by Joyal, André 05 Aug '26

05 Aug '26

Thank you again for your condolences. The picture is from Patricia Quattrini, the wife of Eduardo. Eduardo had two sons, Simon and Milan. <plquattri(a)gmail.com> Best, André

1 0