New Frontiers in Informatics (NEFI) Workshop in Bergen, Norway September 11, 2012#

Prior to the General Assembly and the Annual Meeting of Academia Europaea the Informatics Section is organizing a workshop for all members of Academia Europaea who are interested to participate. There is no extra registration fee. Academia and particularly Informatics Section encourages all interested members to participate in the workshop!

Subject of NEFI:#

Informatics grows dynamically in our times and also affects many other sciences. Academia Europaea thus has decided to organize a Workshop on new frontiers and directions of Informatics. This is very timely and will help the field itself via the proposals and ideas to be announced at the Workshop. The talks are meant to be comprehensible for members of the Informatics Section who are not specialists in the particular area of the talks.

Other Information: #

The program committee consists of (in alphabetical order) Bergstra, Jan (U. Amsterdam) and Spirakis, Paul (Chair, U. Patras and CTI). To contact the Program Committee Chair Paul Spirakis use spirakis@cti.gr. Local Organisation is handled by Marc Bezem at marc.bezem@ii.uib.no from U. Bergen.

The venue of NEFI will be Studentsenteret, Parkveien 1, Nygardshoyden, 5007 Bergen. Seminar Room D.

Program of New Frontiers in Informatics (NEFI) workshop#

• 09.00-09.15 Dr. Thierry Van Der Pyl
• 09.15-09.30 Prof. Hermann Maurer: “Why we need more than Wikipedia?”
• 09.30-09.45 Prof. Krzysztof Apt: “Choosing Products in Social Networks”
• 09.45-10.00 Prof. Franz Baader: “Logic meets the real world: How can logical reasoning be used to achieve higher-level situation awareness?”
• 10.00-10.15 Prof. Marc Bezem: “Elements of Mathematics” in the Digital Age
• 10.15-10.30 Prof. Jan Bergstra: “Perspectives in business informatics”

10.30-10.45 Coffee Break

• 10.45-11.00 Prof. Dines Bjørner: “Domain Science & Engineering: a new facet of Informatics”
• 11.00-11.15 Prof. E. Peter Bjørstad: “Modeling multiscale Phenomenous with Massively Parallel Systems
• 11.15-11.30 Prof. Mario de Jesus Perez-Jimenez: “Computational Complexity Theory in Membrane Computing”
• 11.30-11.45 Prof. Manfred Droste: “Quantitative Logics and Automata”
• 11.45-12.00 Prof. Ulrike Leopold-Wildburger: “The shadow of the Past”

12.00-13.00 Lunch Break

• 13.00 -13.15 Prof. Veljko Milutinovic: “A methodology for PhD Students Advisors”
• 13.15 – 13.30 Prof. Wolfang Reisig: “An Integrated Theory of Informatics”
• 13.30 – 13.45 Prof. V. John Tucker: “Computational aspects of physical experiments”
• 13.45 – 14.00 Prof. Enn Tyugu: “Emerging Threats in Cyber Space”

Confirmed participants so far (March 19, 2012) (in alphabetical order):#

Apt, Krzysztof (Participant/Speaker, CWI, Amsterdam);
Baader, Franz (Speaker, TU Dresden)
Bezem, Marc (Speaker and Local Organisation Chair, University Bergen)
Bergstra, Jan (Member, Program Committee, University Amsterdam);
Bjoerner, Dines (Speaker, DTU Denmark)
de Jesús Pérez Jiménez, Mario (Speaker, University Seville)
Droste, Manfred (Speaker) University Leipzig
Gruska, Jozef (Speaker, University Brno)
Lenzerini, Mauricio (Participant/Speaker, Sapienza Università di Roma)
Leopold-Wildburger, Ulrike (Speaker, U. Graz, Austria)
Maurer, Hermann (Speaker, Graz University of Technology)
Milutinovic, Veljko (Speaker, University Belgrade)
Nebel, Bernhard(Participant/Speaker, University Freiburg, Germany);
Reisig, Wolfgang (Speaker, Humoldt University Berlin)
Spirakis, Pavlos (Participant, Program Committee Chair, University Patras and CTI);
Tyugu, Enn (Speaker, Tallinn University of Technology)
Van Der Pyl, Thierry (Speaker, Research Officer of the European Commission)

Please direct any questions you may have to the Program Committee Chair or the Local Organisation Chair Marc Bezem from Univ. Bergen. If you are planning to come, the IS Chair Hermann Maurer at hmaurer@iicm.edu is also happy to get a note from you, so he can keep updating the above list on the server.

Accommodation#

The local organizers have suggested that participants of NEFI book in the Strand hotel (15 minutes walk to conference venue, 0 minutes to city centre, 10-15 minutes to Grand Hotel Terminus) http://www.scandichotels.com/en/Hotels/Countries/Norway/Bergen/Hotels/Strand Price per night NOK 1090 (single), NOK 1290 (double) (approximately 140 Euro) Booking code: 262799 directly to hotel at strand@scandichotels.com or +47 55 59 33 00.

All hotels where the local organizers hold rooms including Grand Hotel Terminus (where most committee members will stay) will be announced at a later stage at http://www.acadeuro.org/index.php?id=308A.