MoSIS

Modularity in large Software and Information Systems

[Programming Technology Group, Department of Informatics, University of Bergen]

Home
Conferences
Publications
Annual Reports
Members
Activities

Conferences

2003

July 21 - 25
  ECOOP-2003 European Conference on Object-Oriented Programming Darmstadt, Germany
Further info on http://www.ecoop.tu-darmstadt.de/
April 5 - 13
  ETAPS 2003 Warsaw, Poland
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. Details on http://www.mimuw.edu.pl/etaps03/
April 5 - 6
  6th International Workshop on Coalgebraic Methods in Computer Science Warsaw, Poland
  Furher information on http://www.mathematik.uni-marburg.de/~cmcs
March 9 - 12
  18th ACM Symposium on Applied Computing (SAC 2003) Melbourne, USA
Special Track on Coordination Models, Languages and Applications. Furher information on http://lia.deis.unibo.it/confs/sac2003/

2002

November 4 - 8
  17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications Seattle, USA
  Furher information on http://oopsla.acm.org/
October 6 - 8
  1st ACM SIGPLAN/SIGSOFT Conference Generators and Components (GCSE/SAIG'02) Pittsburgh, USA
  Furher information on http://www.cs.yale.edu/~taha/gcse-saig/cfp02.html
September 19 - 20
  COLOGNET Joint Workshop on Component-based Software Development and Implementation Technology for Computational Logic Systems Madrid, Spain
COLOGNET (http://www.colognet.org), the European Network of Excellence in Computational Logic is organizing a workshop on two of its workpackages: Component-based Software Development (CBD) and Implementation Technology for Computational Logic Systems (ITCLS). This joint workshop will be collocated with SAS/LOPSTR/AGP. Further information on http://clip.dia.fi.upm.es/COLOGNET-WS/
August 26 - 30
  Summer School and Workshop on Generic Programming Oxford, England
  Furher information on http://web.comlab.ox.ac.uk/oucl/research/areas/ap/ssgp/
August 19 - 30
  Summer School on Specification, Refinement and Verification Turku, Finland
To present new findings in this important field a Summer School on Specification, Refinement and Verification is organised by the Turku Centre for Computer Science (TUCS) together with European Educational Forum (EFF).

For further information see the web page at http://www.tucs.fi/srv2002.

July 9
  Workshop on Types in Programming (TIP'02) Dagstuhl, Germany
  Furher information on http://www.informatik.uni-freiburg.de/~thiemann/tip02/
July 8 - 13
  IFIP WG2.1 Working Conference on GENERIC PROGRAMMING Dagstuhl, Germany
Organised in conjunction with MPC'02. Details on http://swt.cs.tu-berlin.de/cd02/
June 20 - 21
  First international IFIP/ACM Working Conference on Component Deployment Berlin, Germany
  Furher information on http://swt.cs.tu-berlin.de/cd02/
Last modified by webmaster September 11 2003 $