CSE/IMM/DTU CoLogNET Budgets & Accounts
2002 - 2004
Dines Bjørner
CSE: Computer Science and Engineering
IMM: Informatics and Mathematical Modelling
Building 322, Richard Petersens Plads
DTU: Technical University of Denmark
DK-2800 Kgs.Lyngby, Denmark
E-Mail: db@imm.dtu.dk, URL: www.imm.dtu.dk/~db
Thursday, August 28, 2003, 20:55
Abstract:
We bring the budgets and accounts of the CSE/IMM/DTU CoLogNET partner.
We detail past and future (estimated) budgets and accounts for
specific programme activities.
1. Overall Budget & Accounts: KDkr/KEuro
As of May 1, 2003, the accounts were:
|
Budget |
Committed |
Expenses |
Income |
Balance |
Notes (1) |
Personnel
|
52,131
|
26,800
|
4,305
|
|
21,026
|
(2,3) |
Travel + subsistence
|
24,000
|
|
11,839
|
2,481
|
14,624
|
(4) |
Other specific costs
|
30,100
|
|
20,400
|
|
9,700
|
(5) |
Computing
|
5,0
|
|
1,168
|
|
3,831
|
(6) |
Overhead
|
22,300
|
|
9,000
|
|
13,300
|
(7) |
Notes:
- (1) December 2002 Euro-to-Danish Kroner exchange rate was: 7.4262
- (2) Two ``future'' personnel contracts:
- (2.1) KEuro 8,0 max. honorarium for techn./admin. support for FMIA
admin., Summer 2003
(FMI: Formal Methods Industry Association), all
in Summer 2003 (This was formerly Euro 10,0 max.
- (2.2) KEuro 18,8 max. salary for techn./admin. support for FMIA follow
up, and 2004 Programme Actions, some (est. 1.5 mm) in 2003, some in
2004 (est. 2.5 mm) (Martin P., Prague) Amount is four times Euro 4,700.
- (3) Plans are afoot to move Euro 10 K Personnel budget balance to
``Other Specific Costs'', and Euro 5 K to ``Travel and
Subsistence''.
This was recently approved by Project Coordinator and
EU PO (in fact, much higher amounts were approved: 10 K, resp. 15 K for a
total of 25 K).
- (4) Income from DFKI, Payment of two DB travels: London and
Saabrücken, 2002 -- should be added to balance in this account
to yield
126,912/17,090
.
- (5) Support for CSE/IMM/DTU I-Day Actions
- Pledged Euro 4,000 support from CoLogNET Main partner's TF1
Budget for 2002 (FM02) did not materialise
- Pledged Euro 6,630 support from CoLogNET Main partner's TF1
Budget for 2003 (FM03) will materialise, but will not be reflected
in our budget.
Accounts will be settled directly by DFKI. See
item 3.2.1 below.
- Pledged Euro 4,000 support from FME will be reflected in Sept. 1
Budet, see items 1.2 and 3.2.1 below.
- (6) It seems that cost of PC has not been put under computing,
which seems correct,
but should it not then be put under Overhead ?
- (7) This line need be reviewd by DB+IP.
|
Budget |
Committed 2003+4 |
Expenses 2002+3 |
Income 2002+3 |
Balance
2004 |
Notes (1) |
Personnel
|
37,131
|
26,800
|
4,305
|
|
6,026
|
(1) |
Travel + Subsistence
|
29,000
|
8,756
|
11,839
|
3,181
|
11,586
|
(2,4,7) |
Other Specific Costs
|
40,100
|
10,210
|
20,400
|
7,300
|
16,790
|
(6,3,5) |
Computing
|
5,0
|
|
1,168
|
|
3,831
|
|
Overhead
|
22,300
|
|
9,000
|
|
13,300
|
|
Notes:
- (1) Euro 25,000 moved from Personnel costs to items (2+3) column
1.
- (2) Euro 10,000 moved from Personnel costs to Travel +
Subsistence column 1.
- (3) Euro 15,000 moved from Personnel costs to Other specific
Costs column 1.
- (4) Euro 700 pledge from FME (out of a total Euro 4,000 pledge
for 2003) added to Income column.
This pledge should arrive before
Sept. 2003 (added to Euro 2,481 income for 2002).
- (5) Euro 7,300 pledge from FME (out of a total Euro 4,000 pledge
for both 2002 and 2003) added to Income column.
These pledges should
arrive before Sept.,1, 2003.
- (6) column 2: Commitments for 2003: 7,160 + 2,050 + 1,000=10,210
- Euro 7,160 for I-Day'03 ``travel'' + dinner, see section 3.2.1
- Euro 2,050 for BTD Travel, see section 3.2.2
- Euro 1,000 for Glossy Brochure, see section 3.2.2
- (7) Euro 8,756 from section 3.1, DBs Travel in 2003, column 2
Expenditure |
Person |
Account |
Notes (0) |
Travel |
Robin E. Bloomfield |
6,982.34/940.23 |
London, UK |
Travel |
Martyn Thomas |
5,751.77/774.52 |
London, UK |
Travel |
Denis Sabatier |
9,270.30/1,248.32 |
Aix en Provence,
France |
Travel |
Peter Gorm Larsen |
2,561.00/344.86 |
Odense, Denmark |
Travel |
Dominique Bolignano |
|
(1) Paris, France |
Conf.Fee |
Dines Bjørner |
6,260.00/842.96 |
(All of FLoC'02) |
Conf.Fee |
Jørgen Villadsen |
8,050.00/1,084.00 |
(All of FLoC'02)
|
Dinner/Reception |
22 I-Day Guests |
10,583.86/1,425.21 |
+ EU +
CoLogNET |
Total |
|
49,459.27/6,660.15
|
(2) |
Notes
- (0) This is one, a major part of the ``Other Specific Costs''
budget and accounts.
- (1) Dominique Bolignano did not submit accounts.
- (2) External (ie., wrt. CSE/IMM/DTU CoLogNET Budget) support:
- Euro 2,000 from the CoLogNET Coordinator
- Euro 4,000 from FME: Formal Methods Europe
Expenditure |
Person |
Expenditure |
Notes (0) |
Travel |
Nikolaj Nikitchenko |
13,056.93/1,758.23 |
Kiev, Ukraine (1) |
Travel |
Dimitar Guelev |
9,040.88/1,217.43 |
Sofia, Bulgaria (1) |
Travel |
Wieslaw Pawlowski |
9,776.30/1,316.46 |
G'Dansk, Poland (1) |
Travel |
Andrzej Borzyszkowski |
9,776.30/1,316.46 |
G'Dansk, Poland (1) |
Dinner/Reception |
12 Guests, incl. above |
5,605.00/754.76 |
(plus: EU, CoLogNET) |
Total |
|
47,255.41/6,363
|
(2) |
Notes
- (0) This is another part of the ``Other Specific Costs''
budget and accounts.
- (1) Conference fees for all four visitors was paid out of
a separate Euro 24,000 EU funding
- (2) External (ie., wrt. CSE/IMM/DTU CoLogNET Budget) support:
- Euro 2,000 from the CoLogNET Coordinator
2.2 2002 Travel Budget & Accounts: KDkr/KEuro
Target |
Person |
Balance |
Expenditure |
Income |
Notes (0) |
|
|
178,229/52,131 |
|
|
|
London |
Dines Bjørner |
178,229/52,131 |
10,099.66/ |
10,099.66/ |
(1) |
Saarbrücken |
Dines Bjørner |
178,229/52,131 |
8,325.12/ |
8,325.12/ |
(2) |
Cyprus |
Dines Bjørner |
165,171/22,242 |
13,058/ |
|
(3) |
Venezia, Italy |
Dines Bjørner |
151,350/20,381 |
13,821/ |
|
(4) |
Madrid, Firenze, Pisa |
Dines Bjørner |
126,912/17,090 |
24,438/ |
|
(5) |
|
|
Year End 2002:
|
Spent 2002:
|
|
|
|
|
126,912/17,090
|
51,317/6,910
|
|
(6) |
Notes
- (0) Budget item starts with decresaed budget, and continues decreasing
- (1) CoLogNet Kick-off Mtg.: Somehow invoiced and funded by DFKI
-
reflected in second
line of Overall May 1 Budget & Accounts
- (2) CoLogNet Proj.Mtg.: Somehow invoiced and funded by DFKI -
reflected in second
line of Overall May 1 Budget & Accounts
- (3) CoLogNet Proj.Mtg.
- (4) Paper pres. at US/EU Montery Workshop
- (5) Three trips, four ``reasons'':
- Madrid: CoLogNet Proj.Mtg.
- Firenze: Seminar at Univ. of Firenze
- Pisa:
- Seminar at Formal Methods Italy Mtg.
- FME (/CoLogNET) Planning Meeting
- (6) The
126,912/17,090
should be subtracted
18,425/2,481
recieved for travels (1) and (2),
to
yield the balance
108,737/14,624
of
Overall May 1 Budget & Accounts.
Item |
Budget |
Expenditure |
Notes (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Notes
- (0) Budget item start with initial budget, and decreases
Item |
Budget |
Expenditure |
Notes (0) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Notes
- (0) Budget item start with initial budget, and decreases
Notes |
Date |
Travel Target |
Person |
Est.Budget |
Balance |
Expenditure |
Req. |
Chk. |
|
|
|
|
Spent in 2002 |
Balance for 2003+2004 |
|
|
|
[1] |
|
|
|
51,317/6,910
|
126,912/17,090
|
|
|
|
[2] |
April |
Lissabon, P |
Dines Bjørner |
|
117,312/15,797
|
9,600/1,300 |
KM |
- |
[3] |
May |
Braga, P |
Dines Bjørner |
2,042/0,275 |
115,493 |
1,819/0,245
|
FN |
- |
[4] |
June/July |
Sicily, I |
Dines Bjørner |
17,096/2,304 |
98,397/
|
|
KM |
|
[5] |
July |
Saloniki, G |
Dines Bjørner |
0,3/0,04 |
98,097/ |
|
FN |
|
[6] |
Aug. |
Tokyo, J |
Dines Bjørner |
18,454/2,485 |
79,643/ |
|
KM |
|
[7] |
Sept. |
Pisa, I |
Dines Bjørner |
8,553/1,150 |
71,406/ |
|
FN |
|
[8] |
Nov. |
Padova |
Dines Bjørner |
9,000/1,212 |
62,406/ |
|
|
|
|
|
|
|
Est. for 2003:
|
Balance for
2004:
|
|
|
|
|
Year-end 2003
: |
|
|
64,729/8,756
|
62,406/8,404
|
|
|
|
Notes
- (1) Budget item start with initial year 2003 balance, and decreases
For initial year 2003 balance, see Travel + subsistence entry
of budget in Overall May 1, 2003 Budget &
Accounts
or last Budget item of
2.2 2002 Travel Budget & Accounts:
KDkr/KEuro
- (2) CoLogNET Review Mtg. See Overall May 1, 2003
Budget & Accounts Travel and Subsistence entry.
- (3) FME Planning Mtg. Primarily funded by FME: Air travel + Euro
2*100.
- (4) Zohar Manna Intl. Conf., presentation of
paper
- (5) 4PLS: 4th Panhellenic Logic Conf., Invited Spkr.,
presentation of
paper
- (6) IFAC CTS2003, presentation of
paper.
EU Case Officer's Approval has been given.
It seems Yen 13,800/day meal+bus fare costs is (by far) not
enough! Will check on Danish State Allowances
- (7) FM'03: Organiser of
I-Day'03 &c.
It is Expected that FME will co-finance travel+2 per
diems: Euro 500 + 200 = Euro 700
See commment (4) Section 3.2.1 below.
Travel, Economy Class: CPH-Pisa return EURO 500
SAS: Special Weekend fare: 3,628 DKr.
To/from Airports: EURO 150
Hotel, 8 nights @85 Euro/day EURO 680
Subsistence, 8 days @ 65 Euro/day EURO 520
----------
EURO 1,850
----------
FME Support 700
----------
Euro 1,150
==========
- (8) CoLogNET Proj.Mtg. Date: November
Item |
Budget |
Expenditure |
Notes |
GJH |
2,000 |
|
(1) |
KK |
3,160 |
|
(2) |
AH |
(1,685) |
|
(3*) |
RM |
(1,650) |
|
(3*) |
JRC |
(1,610) |
|
(3*) |
Chm. |
(1,685) |
|
(3*) |
Reception |
2,000 |
|
|
Total
|
14,480
|
|
(3,4) |
DB's Budget
|
7,160
|
|
(5) |
DFKI's Budget
|
6,630
|
|
(6,3*) |
Notes:
- (1) Flat contribution towards air-fare &c.
- (2) Incl.Euro 1,900 (``flat'') contribution towards air-fare
- (3) Pledged, ie., external funding support:
- (3*) Euro 6,630 from DFKI CoLogNET Coordinator: Task Force TF1
Covers Travel + Reg.fee expenses. Pledge being finalised.
- (4) Euro 3,300 from FME: Formal Methods Europe. A total of Euro
4,000 is expected, Euro 700 is spent as explained in note (3) of
section 3.1.
- (5) To be taken from ``Other Specific Costs''. Is part of the
committed amount in 1.Sept. Budget, section 1.2
- (6) Not to be taken from our budget, but to be paid by DFKI out
of its TF1 Budget. The four persons (AH,RM,JRC,Chm.) send their
accounts via Dines Bjorner to DFKI for refund.
Year |
Item |
Budget |
Expenditure |
Notes |
2003 |
Booklet |
1,000 |
|
(1) |
2003 |
Consultant Travel |
2,500 |
|
(2) |
Total 2003
|
|
3,500
|
|
|
2004 |
Techn.Assist. |
1,000 |
|
(3) |
2004 |
Workshop Admin. |
1,000 |
|
(4) |
2004 |
Workshop Travel |
6,000 |
|
(5) |
Total 2004
|
|
8,000
|
|
(6) |
Total 2003-2004
|
|
11,500
|
|
|
- (1) Max. 100 page A5 format semi-glossy booklet, 200 copies
To be accounted for under 2003 Other Specific Costs
- (2) FMIA Consultant's Travel & Subsistance
To be accounted for under 2003 Other Specific Costs
- (3) 2004 Techn.Assist.: Web pages, e-mail corresp., printing, etc.
To be accounted for under 2004 Other Specific Costs
- (4) Local Arrangements Costs
To be accounted for under 2004 Other Specific Costs
- (5) A flat travel + subsistance support of Euro 50 per each of
12 participants
To be accounted for under 2004 Other Specific Costs
- (6) Pledged, ie., external funding support:
- Euro 2,500 from DFKI CoLogNET Coordinator: Task Force TF1
Yet to be applied for
Year |
Item |
Budget |
Expenditure |
Notes |
2003 |
Admin.costs |
/1,000 |
|
(1) |
Total 2003
|
|
/1,000
|
|
(1) |
2004 |
PC Mtg. |
/3,000 |
|
(2) |
2004 |
Conf.Admin. |
/1,000 |
|
(3) |
2004 |
Inv.Spkrs. |
/6,000 |
|
(4) |
2004 |
Posters, prgrs., and mailing |
/2,000 |
|
(5) |
Total 2004
|
|
/12,000
|
|
(6) |
Total 2003+2004
|
|
/13,000
|
|
(6) |
Notes:
- (1) Secr. support for Univ.Ghent, 2003
- (2) PC Meeting travel support, 6 PC members, Euro 750 each
- (3) Secr. support for Univ.Ghent, 2004
- (4) Four invited spkrs., flat support of Euro 1,500 each
- (5) Design, printing and airmailing of posters and final
programmes
- (6) Expected financial support from CoLogNET Coordinator: Euro
Z,000; more is hoped for !
Year |
Item |
Budget |
Expenditure |
Notes |
2004 |
Admin. costs |
/1,000 |
|
(1) |
2004 |
Posters |
/1,500 |
|
(2) |
2004 |
10 Invited Spkrs. |
/20,000 |
|
(3) |
2004 |
Student Support |
/9,000 |
|
(4) |
2004 |
Lecture Notes |
/1,500 |
|
(5) |
Total 2004
|
|
/33,000
|
|
(6) |
Notes:
- (1) Secr.Support for Prof. Branisalv Rovan, Bratislava
- (2) Design, printing, mailing
- (3) Estimated per speaker cost: Euro 2,000
- (4) Support for 16 Eastern European PhD Students, each a flat rate
of Euro 750
- (5) Printing of 60 Lecture Notes
- (6) Expected financial support from CoLogNET Coordinator: Euro
4,000; much more is expected
Year |
Item |
Budget |
Expenditure |
Notes |
2003 |
Admin.costs |
/1,000 |
|
(1) |
Total 2003
|
|
/1,000
|
|
|
2004 |
Admin.costs |
/1,500 |
|
(2) |
2004 |
Travel & Subst. |
/9,000 |
|
(3) |
2004 |
Proceedings & Distribution |
/10,000 |
|
(4) |
Total 2004
|
|
/21,500
|
|
(5) |
Notes:
- (1) 2003 costs
- (2) 2004 costs
- (3) Travel & subsistance costs; a flat rate of Euro 750 per each
of 16 participants
- (4) Purchase and distribution of Springer-verlag Proceedings to
200 European university groups
- (5) Expected financial support from CoLogNET Coordinator: Euro
4,000 - more is expected
Year |
Item |
Budget |
Expenditure |
Notes |
2003 |
|
|
|
|
2003 |
|
|
|
|
2003 |
|
|
|
|
2003 |
|
|
|
|
Total 2003
|
|
/x,xxx
|
|
|
2004 |
|
|
|
|
2004 |
|
|
|
|
2004 |
|
|
|
|
2004 |
|
|
|
|
Total 2004
|
|
/y,yyy
|
|
|
Year |
Item |
Budget |
Expenditure |
Notes |
2003 |
|
|
|
|
2003 |
|
|
|
|
2003 |
|
|
|
|
2003 |
|
|
|
|
Total 2003
|
|
/x,xxx
|
|
|
2004 |
|
|
|
|
2004 |
|
|
|
|
2004 |
|
|
|
|
2004 |
|
|
|
|
Total 2004
|
|
/y,yyy
|
|
|
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
/home/db/colognet/web/budget-accounts.tex
CSE/IMM/DTU CoLogNET Budgets & Accounts
2002 - 2004
This document was generated using the
LaTeX2HTML translator Version 2K.1beta (1.47)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -split 0 -toc_depth 6 budget-accounts
The translation was initiated by on 2003-08-28
2003-08-28