Informatics Europe A European Computer Science Association SOFSEM

  • Slides: 47
Download presentation
Informatics Europe: A European Computer Science Association SOFSEM 2007, Harrachov

Informatics Europe: A European Computer Science Association SOFSEM 2007, Harrachov

Computer Science in Europe A prestigious tradition 2

Computer Science in Europe A prestigious tradition 2

Computer Science in Europe A prestigious tradition 3

Computer Science in Europe A prestigious tradition 3

Computer Science in Europe A prestigious tradition 4

Computer Science in Europe A prestigious tradition 4

Computer Science in Europe A prestigious tradition 5

Computer Science in Europe A prestigious tradition 5

Computer Science in Europe A prestigious tradition 6

Computer Science in Europe A prestigious tradition 6

Computer Science in Europe A prestigious tradition 7

Computer Science in Europe A prestigious tradition 7

Computer Science in Europe A prestigious tradition 8

Computer Science in Europe A prestigious tradition 8

Computer Science in Europe A prestigious tradition 9

Computer Science in Europe A prestigious tradition 9

Computer Science in Europe A prestigious tradition 10

Computer Science in Europe A prestigious tradition 10

Computer Science in Europe A prestigious tradition 11

Computer Science in Europe A prestigious tradition 11

Computer Science in Europe A prestigious tradition 12

Computer Science in Europe A prestigious tradition 12

Computer Science in Europe A prestigious tradition 13

Computer Science in Europe A prestigious tradition 13

Computer Science in Europe A prestigious tradition 14

Computer Science in Europe A prestigious tradition 14

“European” contributions Programming languages Algol (largely) Simula Pascal, Modula-2, Oberon Ada ML 15

“European” contributions Programming languages Algol (largely) Simula Pascal, Modula-2, Oberon Ada ML 15

“European” contributions Design & Programming methodology Structured Programming O-O (The original) Guarded commands Z

“European” contributions Design & Programming methodology Structured Programming O-O (The original) Guarded commands Z & many formal methods Design Patterns (in part) 16

“European” contributions Concurrency models Semaphores Monitors CSP CCS Pi-calculus Synchronous languages 17

“European” contributions Concurrency models Semaphores Monitors CSP CCS Pi-calculus Synchronous languages 17

“European” contributions Networks, communication OSI model (in part) Packet networking The Web! Python 18

“European” contributions Networks, communication OSI model (in part) Packet networking The Web! Python 18

“European” contributions Theory Axiomatic semantics, assertions Denotational semantics Model checking (in part) Abstract interpretation

“European” contributions Theory Axiomatic semantics, assertions Denotational semantics Model checking (in part) Abstract interpretation 19

“European” contributions Systems & software engineering Graphics HCI Proof systems Software product lines Applications

“European” contributions Systems & software engineering Graphics HCI Proof systems Software product lines Applications of formal methods O-O databases 20

“European” contributions Operating systems THE Linux 21

“European” contributions Operating systems THE Linux 21

Organizational milestones First IFIP congress, Algol IFIP Garmisch-Partenkirchen, 1968 Numerous standards, e. g. ECMA,

Organizational milestones First IFIP congress, Algol IFIP Garmisch-Partenkirchen, 1968 Numerous standards, e. g. ECMA, ISO 22

Organizational scene National societies Ø GI, Fakultätentag (Germany) Ø SI, SARIT (Switzerland) Ø BCS

Organizational scene National societies Ø GI, Fakultätentag (Germany) Ø SI, SARIT (Switzerland) Ø BCS (UK) Ø Specif (previously: AFCET), SEE (France) Ø GRIN, GII (Italy) Ø Various Europe-wide groups, e. g. ERCIM Ø ACM initiatives 23

Why a Europe-wide organization? We largely face the same problems Political authorities and the

Why a Europe-wide organization? We largely face the same problems Political authorities and the public largely do not understand computer science We don’t have a common voice 24

How it started 2004, EPFL and ETH ECSS (European Computer Science Summit) Ø ETH

How it started 2004, EPFL and ETH ECSS (European Computer Science Summit) Ø ETH Zurich, October 2005 Ø ETH Zurich, October 2006 Ø TU Berlin, October 2007 2005 and 2006 to 100 participants from all over the region Keynotes: Ø Ed Lazowska (U. Washington / US CRA) Ø Michael Ley (DBLP, Trier) Ø Robert Constable (Cornell/US CRA) Ø Robert Cosnard (INRIA) Ø etc. Informatics Europe officially created at 2006 summit 25

A sample of issues Place & image of CS in the roster of sciences

A sample of issues Place & image of CS in the roster of sciences Continuing to attract students, image of the discipline Diversity of national educational models Curriculum reform and harmonization, “Bologna” process European research policy and funding model Influence we can have on it? Department ranking? 26 Egalitarianism vs elitism Role of department heads Attracting more women to CS and making sure they succeed Special issues of emerging countries Accreditation Teaching CS to non-CS majors Research and publication assessment Relationship to other disciplines (“Computational X”) …

European strengths Free, publicly funded education Strong scientific basis in education Cultural diversity Contacts

European strengths Free, publicly funded education Strong scientific basis in education Cultural diversity Contacts with other cultures Closeness with US community Long & prestigious history Strong research organizations, e. g. Max Planck/Fraunhofer, INRIA, CWI Research centers of international organizations: Microsoft in Cambridge, Google in Zurich… Roster of world-class departments Strong industrial base, e. g. SAP, French & UK software houses Research support: EU, Switzerland, UK, specific countries Vagaries of US policies, especially immigration 27

The model: (US) CRA Computing Research Association 25 years of existence! Association of Ph.

The model: (US) CRA Computing Research Association 25 years of existence! Association of Ph. D-granting universities in North America Successfully acts as a lobbyist for the CS community, with offices in Washington (together with ACM) Has been extremely successful in pushing the agenda of computer scientists 28

Where we can make a difference An example: What constitutes a publication & achievement

Where we can make a difference An example: What constitutes a publication & achievement record in computer science, especially in systems? 29

Informatics Europe Nonprofit organization Temporarily hosted at ETH Scope: “Europe” (i. e. Council of

Informatics Europe Nonprofit organization Temporarily hosted at ETH Scope: “Europe” (i. e. Council of Europe plus Israel) 30

Informatics Europe http: //www. informatics-europe. org 31

Informatics Europe http: //www. informatics-europe. org 31

The Informatics Europe model Association whose members are institutions (not people): Ø Informatics departments

The Informatics Europe model Association whose members are institutions (not people): Ø Informatics departments of Ph. D-granting universities (“Informatics” taken in a broad sense, e. g. includes computer engineering, business informatics) Ø Not Fachhochschulen or equivalent Ø Membership fees Management structure: Ø Executive board, about 12 people, 3 -year term renewable once Ø Attempt at reasonable balance, but not nation-based Ø No national quota Ø Members of Executive Board must belong to member institution, but represent themselves 32

Relationship to other organizations Informatics Europe is not a federation of national associations (such

Relationship to other organizations Informatics Europe is not a federation of national associations (such as IFIP) Structure will keep a place for associated organizations, e. g. Ø ACM Ø CRA Ø Similar organizations elsewhere (Australia, South Africa…) Ø National organizations 33

Executive Board Christine Choppy (Paris) Gregor Engels (Paderborn) Victor Gergel (Nizhny Novgorod) Ayse Kiper

Executive Board Christine Choppy (Paris) Gregor Engels (Paderborn) Victor Gergel (Nizhny Novgorod) Ayse Kiper (Ankara) Pierre Lescanne (ENS Lyon) Jan van Leeuwen (Utrecht) (Vice President) Jeff Magee (Imperial College) Andrew Mc. Gettrick (Strathclyde) Bertrand Meyer (ETH Zurich) (president) Manfred Nagl (Aachen) Jørgen Staunstrup (Copenhagen) Letizia Tanca (Politecnico di Milano) Willy Zwaenepoel (EPFL) (Vice President) Gordon Davies (ACM representative) 34

Aims (from the bylaws) Informatics Europe is a non-profit organization devoted to the promotion

Aims (from the bylaws) Informatics Europe is a non-profit organization devoted to the promotion of research and education in Computer Science and associated technologies (“Informatics”) in Europe Goals are: Ø To support the successful development of the field Ø To foster quality & ethics in research & education Ø To represent the informatics community with governmental & scientific authorities Ø To publicize the achievements and challenges of informatics Ø To advise the public and government on issues related to informatics 35

Activities (from bylaws) Ø Ø Ø Services to members (see next) Informatics Europe Conference,

Activities (from bylaws) Ø Ø Ø Services to members (see next) Informatics Europe Conference, annual Specific conferences, workshops Web site Reports on specific topics 36 Ø Standards of conduct, codes of ethics Ø Interaction with public, governments, media, industry to raise and resolve research- & education -related CS issues Ø Annual Assembly

The key tasks 1. Gather data 2. Provide immediately tangible services 3. Harmonize Bologna

The key tasks 1. Gather data 2. Provide immediately tangible services 3. Harmonize Bologna requirements (Bachelor. Master) 4. Establish external links 5. Establish presence, get recognized by governments 37

Initial working groups Ø Image of the discipline Ø Curriculum Ø Evaluating research Ø

Initial working groups Ø Image of the discipline Ø Curriculum Ø Evaluating research Ø Facts & Figures Ø Strategy and lobbying Mailing lists and Wikis 38

Services to members Ø Informatics Europe Tech Watch digest (weekly, already on) Ø Forums

Services to members Ø Informatics Europe Tech Watch digest (weekly, already on) Ø Forums Ø Source of up-to-date Facts & Figures: student numbers, Ph. D requirements, women enrollment, EU and other funding, tuition, … Ø Lobbying with Brussels & other authorities Ø Coordination regarding curriculum, relation to other disciplines, Ph. D requirements Ø Representation to associated organizations Ø… 39

The newsletter Informatics Europe Tech Watch Digest Appears weekly, Friday at 17: 00 Concentrate

The newsletter Informatics Europe Tech Watch Digest Appears weekly, Friday at 17: 00 Concentrate of events in technology and research, with a European accent Subscribe: http: //informatics europe. org/pipermail/Informatics Europe-digest/ Archive: http: //Informatics-europe. org/cgibin/mailman/listinfo/Informatics Europe-digest 40

Informatics Europe Tech Watch digest Output: Subscribe and publicize Input: Send information 41

Informatics Europe Tech Watch digest Output: Subscribe and publicize Input: Send information 41

Where does the money come from? Member dues Make sure your organization subscribes quickly!

Where does the money come from? Member dues Make sure your organization subscribes quickly! At the moment: Startup funding from ETH Zurich: one position (Peter Kiowski) 42

Becoming a member Advantages: Ø Participate in working groups Ø Get exclusive information Ø

Becoming a member Advantages: Ø Participate in working groups Ø Get exclusive information Ø Reduced rates at ECSS and other events Ø Help build informatics in Europe Registration fees: EUR 2500 (West), 1000 (East) 43

Next conference European Computer Science Summit Berlin, 8 -9 October 2007 Conference Chair: Hans-Ulrich

Next conference European Computer Science Summit Berlin, 8 -9 October 2007 Conference Chair: Hans-Ulrich Heiss (TU Berlin) Program Chair: Jeff Magee (Imperial College) 44

The secret agenda Computer Science! 45

The secret agenda Computer Science! 45

What you can do Subscribe to newsletter Participate in forums Provide ideas Publicize Informatics

What you can do Subscribe to newsletter Participate in forums Provide ideas Publicize Informatics Europe, talk about it Mention it to your department or institute head Make sure your organization becomes a member now! 46

Informatics Europe http: //www. informatics-europe. org 47

Informatics Europe http: //www. informatics-europe. org 47