Publications

• Publications in 1999
• Publications in 1998
• Publications in 1997
• Publications in 1996
• Publications in 1995
• Culture and Literature
• Special Activities

1999

• C. Lüth, H. Tej, Kolyang, B. Krieg-Brückner:
  TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
  European Joint Conference on Theory and Practice of Software ETAPS'99. Amsterdam, The Netherlands, March 1999.
  Springer LNCS 1577, © Springer Verlag
  [PostScript]

1998

• C. Lüth, E. W. Karlsen, Kolyang, S. Westmeier, B. Wolff: 
  Tool Integration in the UniForM WorkBench. 
  TOOLS'98, 
  Workshop on Tool Support for System Specification, Development, and Verification.
• Kolyang, C. Lüth, T. Meyer, B. Wolff:
  Generic Interfaces for Formal Development Support Tools.
  Proc. International Workshop for Tool Support in Verification and Validation, Bremen, May 1996. BISS Monograph 1, Bremen, 1998.
  [Abstract] [Extended Abstract] [PostScript (submitted version)]

• C. Lüth, E. W. Karlsen, Kolyang, S. Westmeier, B. Wolff: 
  HOL-Z in the UniForM WorkBench - a Case Study in Tool Integration for Z. 
  ZUM'98, 
  11th International Conference of Z Users.

Springer LNCS 1493, © Springer Verlag
[Abstract] [PostScript]

1997

• Till Mossakowski, Kolyang, Bernd Krieg-Brückner: Static semantic analysis and theorem proving for CASL. 12th Workshop on Algebraic Development Techniques, LNCS 1376, pp. 333 - 348.
  postscript file and
• Kolyang, C. Lüth, T. Meyer, B. Wolff:
  Generic Transformation Systems for Formal Methods.
  System description for a tool demonstration at FME'97.
  [PostScript]

• Kolyang: HOL-Z: An Integrated Formal Development Environnment for Z in Isabelle/HOL. Preliminary Version. Dissertation, Universität Bremen, October 1997.
• Kolyang, C. Lüth, T. Meyer, B. Wolff:
  TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving.
  Extended Abstract in TAPSOFT'97. Bibtex.LNCS 1214, 1997.

1996

• Kolyang, T.Santen, B. Wolff:
  Correct and User-Friendly Implementations of Transformation Systems. This paper shows how the ideas pioneered by transformation systems can be captured inside a secure LCF style theorem prover like Isabelle. Sources for yats . Bibtex . LNCS 1051, 1996.
• Kolyang, T.Santen, B. Wolff:
  A Structure Preserving Encoding of Z in Isabelle/HOL. The 1996 International Conference on Theorem Proving in Higher Order Logic , Turku, Finland. Bibtex. LNCS 1125, 1996.
• Kolyang, C. Lüth, T. Meyer, B. Wolff:
  Generating Graphical User Interfaces in a Functional Setting.
  User Interfaces for Theorem Provers 1996 , University of York, England, 19.7.96. Bibtex.1996.

• Kolyang, B. Wolff, J. Liu:
  Transformational Development of the LEX Example. Technischer Bericht, FB3 Informatik, Universität Bremen. (in: [Krie 94b])
• Kolyang, B. Wolff:
  Development by Refinement Revisited: Lessons learnt from an example. Bibtex. October 1995.

Culture and Literature

Rationale:
Nous avons plus que besoin de nous identifier à notre culture. Nous avons trop privilégié le développement et la culture occidentale, de maniére que nous ne sommes aujourd'hui ni poisson ni viande. Un réveil de notre terroir ne peut que passer par la culture. C'est pourquoi nous avons lancé Ka'arang. Revue trimestrielle. Publié par le cercle de réflexion sur la culture Tpuri(CRCT). Paraît en janvier, avril, juillet et octobre.
Voici les derniers
Ka'arang Nr.018 Ka'arang 018 file
Ka'arang Nr.019 Ka'arang 019 file

Archeoafrica

Revue de l'AIPA (Association Internationale pour la Promotion de l'Archeologie en Afrique).
Paraît périodiquement.
Archeoafrica Nr.002 postscript file

Palabres

Contre le mandarinat et le neocolonialisme de ceux qui pensent que la celebrite culturelle passe par les maisons d'editions europeennes. Revue Culturelle Africaine.
Paraît trois fois l'an.
Numero Nr.1 Palabres Nr.001 file
Numero Nr.2 Palabres Nr. 002 file
Numero Nr.003 et 004 Palabres Nr. 003 et 004 file

Special Activities

• Cabinet d'Études

• CDE-SAARE

Kolyang, 19. Mai 1998