Dear friends and colleagues,

We are writing regarding the IFCoLog meeting at FLoC which will take
place from 12.45pm and 1.45pm on Monday July 19th at:
Seminar Room 1
Chrystal Macmillan Building
George Square
Edinburgh
(2mins down the road from the Appleton Tower)
It is a public event so please feel free to join us at lunch time

You all may have noticed the recent explosion in energy and upsurge in
IFCoLog and its constantly improving website:
http://www.ifcolog.net/
We are now well on our way to rescue this federation as a truly
independent and international institution. When Dov and Jörg took over
after Moshe's resignation, we had about 40 (dormant) members and now we
have well over one hundred and this process is still going on with
likely more than 200 communities joining us this year alone.

Also we have set up a new organisational infrastructure:

- two intermediate/voluntary chairmen (Dov Gabbay and Jörg Siekmann) until
the situation is stable again.
- we have a director to run the show on an everyday basis (currently Mike Gabbay)
- a coordinator (Jane Spurr).
- a treasurer (Howard Barringer)
- a secretary (Britta Seidel)
- an executive board to help in the day to day business
(currently Mike Gabbay, Christoph Benzmueller, Simon Colton, Michael Kohlhase).
- a board of councilers to act as our figure heads:
- Sergei Artemov
- Johan van Benthem
- Alan Bundy
- Wilfrid Hodges
- Saul Kripke
- Rohit Parikh
- Albert Visser
- James Davenport
- an advisory board:
- Samson Abramsky
- David Aspinall
- Marc Bezem
- Bruno Buchberger
- Tony Cohn
- Edmund Clarke
- Jens Erik Fenstad
- Ulrich Furbach
- Koichi Furukawa
- Fausto Giunchiglia
- Georg Gottlob
- Manuel Hermenegildo
- Mark Reynolds
- Deepak Kapur
- Claude Kirchner
- Helene Kirchner
- John Lloyd
- Donald Martin
- John Mitchell
- Tobias Nipkow
- Maarten de Rijke
- Erik Sandewall
- Volker Sorge
- Jeannette Wing

- we are also looking for three new Vice chairmen to represent the three
(currently) dominant regions in the global village (US, Europe, Asia).

We are also starting to publish cheap workshop proceedings in the name
of IFCoLog, joining EASYCHAIR as well as other new publication efforts

All of this will continue to improve well over this and possibly next
year's time span, in particular our efforts to represent the upcoming
Asian countries China, Japan and others much better, where we have now
established firm contacts.

The same has to be done with Latin America, which is increasingly
becoming independent from its northern brother. Look at the website
regarding the latest news in the right sidebar (this comes out about
once a week).

But after all this becomes stable, Dov and Jörg will resign and offer
the position of general chair for election: so then the pressing
question is, how can we make it sustainable this time?

An important issue is then to get a permanent position for a general
secretary post. The idea is that the European institutions sponsor this,
and we are talking to INRIA (France), DFKI, MPI(Germany), IRST(Italy)
and possibly some institution in Britain; so that makes it 1/4 of a
permanent position each - not much money by anybody`s standard.

Also we have to improve our financial situation, we need a steady
income to continue to sponsor small workshops and events as in the past,
but we also plan for a financial service to all our more than 200
members (individual accounts, Ausfallbürgschaft, financial security).

Judging from the experience of recent months we hope that the website
will generate a bottom up activity just like Wikipedia or other web2.0
activities.


All the best,

Dov Gabbay and Jörg Siekmann

-- 
Dr Michael Gabbay
Department of Philosophy
Kings College London
WC2R 2LS
+44 (0)20 7848 2067



------------------------------------------------------------------------------
This SF.net email is sponsored by Sprint
What will you do first with EVO, the first 4G phone?
Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info

Reply via email to