Informal minutes of IFIP WG 2.1 50th meeting - LE Bischenberg - France

D

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/001/001448

Informal minutes of IFIP WG 2.1 50th meeting - LE Bischenberg - France

Arquivo Distrital de Braga

4 fls.

Informal minutes of IFIP WG 2.1 50th meeting: part I - organizational and administrative: list of attendees, observers, proceedings of the IFIP TC2 working conference on algorithmic languages and calculi, corrections to minutes of meeting, next meeting, conference on formal methods in computing systems development, webpage and minutes; Part II - technical sessions - problem 1 consider the datatypes, problem 2 implement a function, presentation.Atas informais da IFIP WG 2.1 50ª reunião: parte I - organizacional e administrativa: lista de participantes, observadores, atas da conferência de trabalho IFIP TC2 sobre linguagens algorítmicas e cálculos, correções para atas de reunião, próxima reunião, conferência sobre métodos formais de computação desenvolvimento de sistemas, páginas web e atas; Parte II - sessões técnicas - o problema 1 considera os tipos de dados, problema 2 implementa uma função, apresentação.

eng