some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUES IN PROGRESS
 
Special Issue for the Dieter Spreen Festschrift
Editors: Ulrich Berger, Hannes Diener, Norbert Müller, Anton Setzer

 
Selected Papers of the Conference "Typed Lambda Calculi and Applications [TLCA] 2013
Editors: Herman Geuvers, Masahito Hasegawa, Paul-Andre Mellies

 
Selected papers of the Tenth International Conference on Computability and Complexity in Analysis [CCA 2013]
Editors: Martín Escardó, Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong

 
Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2013
Editors: Nir Piterman, Scott A. Smolka

 
Special Issue in honor of Pierre Louis Curien
Editors: Antonio Bucciarelli, Thomas Ehrhard, Paul-Andre Mellies, Antonino Salibra

 
Selected papers of the conferences "FORTE" and "COORDINATION" 2014
Editors: Erika Abraham, Eva Kühn, Catuscia Palamidessi, Rosario Pugliese, Vladimiro Sassone

 
18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)
Editors: Thomas Colcombet, Andrew M Pitts, Daniele Varacca

 
Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Editors: Lawrence S. Moss, Pawel Sobocinski

 
Selected papers of the conferences "FORTE" and "COORDINATION" 2015
Editors: Susanne Graf, Tom Holvoet, Viswanathan Mahesh, Mirko Viroli

 
Selected papers of the joint 26th International Conference on "Rewriting Techniques and Applications" and 13th International Conference on "Typed Lambda Calculi and Applications" RTA/TLCA 2015
Editors: Thorsten Altenkirch, Maribel Fernandez

 
Selected papers of the conference "Continuity, Computability, Constructivity – From Logic to Algorithms" (CCC 2015)
Editors: Ulrich Berger, Willem Fouché, Arno Pauly, Dieter Spreen, Martin A. Ziegler