scholarly journals Foreword

1997 ◽  
Vol 7 (5) ◽  
pp. 399-400
Author(s):  
MICHAEL HUTH ◽  
ACHIM JUNG ◽  
KLAUS KEIMEL
Keyword(s):  
Computer Science ◽  
Programming Languages ◽  
International Workshop ◽  
Special Issue ◽  
Mathematical Structures

This special issue of Mathematical Structures in Computer Science is devoted to the Proceedings of the International Workshop Logic, Domains, and Programming Languages that took place from May 24 to 27, 1995, in Darmstadt, Germany.

scholarly journals Special issue on quantum programming languages

2006 ◽  
Vol 16 (3) ◽  
pp. 373-374
Author(s):  
PETER SELINGER
Keyword(s):  
Quantum Computing ◽  
Computer Science ◽  
Programming Languages ◽  
Quantum Computation ◽  
International Workshop ◽  
Special Issue ◽  
Mathematical Structures ◽  
Quantum Programming Languages ◽  
Quantum Programming

This special issue of Mathematical Structures in Computer Science grew out of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), which was held July 12–13, 2004 in Turku, Finland. The purpose of the workshop was to bring together researchers working on mathematical formalisms and programming languages for quantum computing. It was the second in a series of workshops aimed at addressing a growing interest in logical tools, languages, and semantical methods for analysing quantum computation.

Introduction to special issue on concurrency and coordination: Selected work from the International Workshop ConCoord

2004 ◽  
Vol 14 (3) ◽  
pp. 283-283
Author(s):  
VLADIMIRO SASSONE
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Wide Area ◽  
Area Network ◽  
Network Programming ◽  
Wide Area Network ◽  
Special Issue ◽  
Mathematical Structures

This Special Issue of Mathematical Structures in Computer Science contains selected papers from ConCoord, the International Workshop on Concurrency and Coordination held in Lipari, Italy, on July 6–8, 2001 and associated to the 13th Lipari School for Computer Science Researchers on the Foundations of Wide Area Network Programming.

scholarly journals Preface

2015 ◽  
Vol 27 (2) ◽  
pp. 92-93
Author(s):  
MARIANGIOLA DEZANI ◽  
SABRINA MANTACI ◽  
MARINELLA SCIORTINO
Keyword(s):  
Data Structure ◽  
Computer Science ◽  
Programming Languages ◽  
European Association ◽  
Wide Spectrum ◽  
Theoretical Computer Science ◽  
Combinatorics On Words ◽  
Special Issue ◽  
Theoretical Computer ◽  
Mathematical Structures

This special issue of Mathematical Structures in Computer Science is devoted to the fourteenth Italian Conference on Theoretical Computer Science (ICTCS) held at University of Palermo, Italy, from 9th to 11th September 2013. ICTCS is the conference of the Italian Chapter of the European Association for Theoretical Computer Science and covers a wide spectrum of topics in Theoretical Computer Science, ranging from computational complexity to logic, from algorithms and data structure to programming languages, from combinatorics on words to distributed computing. For this reason, the contributions here included come from very different areas of Theoretical Computer Science. In fact this special issue is motivated by the desire to give people who have presented their ideas at the 14th ICTCS the opportunity to publish papers on their work. Submitted papers have been subject to a careful and severe reviewing process and 11 of them were selected for this special issue.

Preface to special issue: EXPRESS, ICE and SOS 2009

2012 ◽  
Vol 22 (2) ◽  
pp. 123-124
Author(s):  
FILIPPO BONCHI ◽  
SIBYLLE FRÖSCHLE ◽  
DANIELE GORLA ◽  
BARTEK KLIN
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Operational Semantics ◽  
Special Issue ◽  
Mathematical Structures ◽  
Structural Operational Semantics ◽  
Selection Of

This special issue of Mathematical Structures in Computer Science contains a selection of papers presented at three satellite events of CONCUR'09, which was held between 31 August and 5 September 2009 in Bologna (Italy). Specifically, it contains three papers from the 16th International Workshop on Expressiveness in Concurrency (EXPRESS'09), one paper from the 2nd Interaction and Concurrency Experience (ICE'09) and two papers from the 6th Workshop on Structural Operational Semantics (SOS'09).

scholarly journals Preface to special issue: Expressiveness in Concurrency 2008

2010 ◽  
Vol 20 (1) ◽  
pp. 1-2
Author(s):  
THOMAS HILDEBRANDT ◽  
DANIELE GORLA
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Special Issue ◽  
Mathematical Structures

This issue of Mathematical Structures in Computer Science contains three papers selected from the 15th International Workshop on Expressiveness in Concurrency (EXPRESS'08) held on 23 August 2008 in Toronto (Canada) as a satellite event of CONCUR'08.

scholarly journals Preface to special issue: EXPRESS 2010

2014 ◽  
Vol 26 (6) ◽  
pp. 907-907
Author(s):  
SIBYLLE FRÖSCHLE ◽  
FRANK D. VALENCIA
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Special Issue ◽  
Mathematical Structures ◽  
Selection Of

This issue of Mathematical Structures in Computer Science contains a selection of papers presented at the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), a satellite event of CONCUR'10, held on August 30th in Paris, France.

scholarly journals Preface to special issue: EXPRESS 2011

2014 ◽  
Vol 26 (8) ◽  
pp. 1351-1351
Author(s):  
BAS LUTTIK ◽  
FRANK D. VALENCIA
Keyword(s):  
Computer Science ◽  
International Workshop ◽  
Special Issue ◽  
Mathematical Structures ◽  
Selection Of

This issue of Mathematical Structures in Computer Science contains a selection of papers presented at the 18th International Workshop on Expressiveness in Concurrency (EXPRESS'11), a satellite event of CONCUR'11, held on September 5th, 2011 in Aachen, Germany.

Theory and applications of subtyping: Introduction

2008 ◽  
Vol 18 (5) ◽  
pp. 795-796
Author(s):  
ADRIANA COMPAGNONI ◽  
HEALFDENE GOGUEN
Keyword(s):  
Computer Science ◽  
Programming Languages ◽  
Programming Language ◽  
Flow Analysis ◽  
Theory And Practice ◽  
Dependent Types ◽  
Special Issue ◽  
New Approach ◽  
Mathematical Structures ◽  
Theoretical Issues

This special issue of Mathematical Structures in Computer Science is devoted to recent work in subtyping. When subtyping was first proposed, it presented a new vehicle for understanding programming languages, together with challenging theoretical issues. The papers in this special issue include a new approach to the decidability of subtyping, a metatheoretic investigation of transitivity of coercive subtyping for parametrised dependent types, and applications of subtyping to the classic programming language concerns of flow analysis and typing for distributed systems. We believe that the scope of the papers demonstrates convincingly that the theory and practice of subtyping continue to be extended in novel and interesting ways.

scholarly journals Preface

2011 ◽  
Vol 21 (4) ◽  
pp. 671-677 ◽  
Author(s):  
GÉRARD HUET
Keyword(s):  
Mathematical Logic ◽  
Computer Science ◽  
20Th Century ◽  
Theorem Proving ◽  
Propositional Calculus ◽  
Interactive Theorem Proving ◽  
Predicate Calculus ◽  
Special Issue ◽  
Mathematical Structures ◽  
Infinite Domains

This special issue of Mathematical Structures in Computer Science is devoted to the theme of ‘Interactive theorem proving and the formalisation of mathematics’.The formalisation of mathematics started at the turn of the 20th century when mathematical logic emerged from the work of Frege and his contemporaries with the invention of the formal notation for mathematical statements called predicate calculus. This notation allowed the formulation of abstract general statements over possibly infinite domains in a uniform way, and thus went well beyond propositional calculus, which goes back to Aristotle and only allowed tautologies over unquantified statements.

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

Sign in / Sign up

Export Citation Format

Share Document