headers
Geoff Sutcliffe | 1 May 2008 14:14
Picon

IJCAR Calls and Awards

-------------------------------------------------------------------------------
  IJCAR 2008 - The 4th International Joint Conference on Automated Reasoning
                 Sydney, Australia, 10th - 15th August, 2008

                            http://2008.IJCAR.org

   Calls for Participation, Calls for Workshop Papers, Student Travel Awards
-------------------------------------------------------------------------------
Call for Participation
----------------------
Information about IJCAR's astounding program of invited speakers, technical 
papers, workshops, tutorials, competitions, and social events, is available 
from the IJCAR WWW pages - 2008.IJCAR.org. There are 101 reasons to attend 
IJCAR, which are enumerated on the WWW site. Registration, accomodation, and 
travel/visa information is there too. Book your flight to Sydney today!
-------------------------------------------------------------------------------
Calls for Workshop Papers, Tutorial Participation
-------------------------------------------------
There will be six workshops and four tutorials before IJCAR, 10th and 11th 
August. See their individual WWW pages, linked from the IJCAR WWW pages, for 
submission and participation information.
+ Workshops
  - The 5th International Verification Workshop (VERIFY'08)
  - Practical Aspects of Automated Reasoning (PAAR-2008)
  - Evaluation of Systems for Higher Order Logic (ESHOL)
  - Complexity, Expressibility, & Decidability in Automated Reasoning (CEDAR'08)
  - Constraints in Formal Verification
  - Combining Systems for Efficient and Scalable Reasoning (CoSyScaRe 08)
+ Tutorials
  - Introduction to Nominal Isabelle - Christian Urban
(Continue reading)

Permalink | Reply | 0 comments |
headers
Geoff Sutcliffe | 1 May 2008 15:01
Picon

Automated Reasoning in Mathematics

-------------------------------------------------------------------------------

                             The CICM Workshop on 
        Empirically Successful Automated Reasoning for Mathematics (ESARM)

              Call for Papers - Submission Deadline - Monday 5th May
              ------------------------------------------------------

The CICM 2008 Workshop on Empirically Successful Automated Reasoning for 
Mathematics (ESARM) will be held as part of the Conferences on Intelligent 
Computer Mathematics, in Birmingham, United Kingdom, 26th July - 2nd August, 
2008. See the WWW page ...
    http://www.cs.miami.edu/~geoff/Conferences/ESARM/
This workshop will bring together practioners and researchers who are 
concerned with the development and application of automated reasoning for 
mathematics. The workshop will discuss only "really running" systems and 
applications, and not theoretical ideas that have not yet been translated 
into working software. More details are on the WWW page.

Submission of papers for presentation at the workshop, and proposals for 
system and application demonstrations at the workshop, are now invited. 
Submissions will be refereed, and a balanced program of high-quality 
contributions will be selected. The selected contributions will be printed 
as workshop proceedings, and will also be published electronically. The 
submission deadline is 5th May, notification of acceptance is on 13th June, 
and final versions are due 7th July. Submission details are on the WWW page.

We hope that you will submit a paper, and be part of ESARM.

-------------------------------------------------------------------------------
(Continue reading)

Permalink | Reply | 0 comments |
headers
Murray Woodside | 1 May 2008 19:04
Picon
Picon

WOSP (Software Performance): Participation


       (Please forward to colleagues, and post the attached notice)

                      Call for Participation
                      ***    WOSP 2008   ***
          7th ACM International Workshop on Software and Performance

 	                Princeton, NJ, USA
 			 June 23-26, 2008
 	             http://www.inf.pucrs.br/wosp/

WOSP is the principal international forum for new research  and practices in 
performance problems in software. There will be four days of tutorials, 
research papers and discussions, in an informal workshop
atmosphere.

For registration and program details please visit:

 	http://www.inf.pucrs.br/wosp.

**Early registration ends May 9th, 2008. **

Held every eighteen months, the WOSP series of conferences is a
unique venue for researchers and practitioners to discuss software
performance engineering. Software performance has become critically
important in today's world where software is routinely used
in all sorts of applications.
     The WOSP 2008 tutorials, discussions, and paper presentations are
all geared towards stimulating your thoughts in a field that is rapidly
gaining importance.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Arnold Beckmann | 3 May 2008 22:43
Picon
Picon
Favicon

Computability in Europe 2008 - early registration reminder

[Apologies for multiple copies]

****************************************************************

    Computability in Europe 2008: Logic and Theory of Algorithms
                  University of Athens, June 15-20 2008
                     http://www.cs.swan.ac.uk/cie08/

          REMINDER:  EARLY REGISTRATION ENDS 11 May 2008

We would like to remind participants that registration is only complete
once we have received the payment form.  In order to give participants
who have not yet send their payment form time to react to this reminder
we decided to extend the early registration deadline to 11 May 2008.

Registration for CiE 2008:
    http://www.cs.swan.ac.uk/cie08/registration.php

You can also use the registration process to book accommodation:
    http://www.cs.swan.ac.uk/cie08/accommodation.php

SOME DETAILS OF THE PROGRAMME
=============================

TUTORIALS will be given by:
John V. Tucker (Swansea)
Moshe Y. Vardi (Houston, TX)

PLENARY SPEAKERS will include:
Keith Devlin (Stanford, CA)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Luca Aceto | 4 May 2008 12:56
Picon

ICALP 2008: Call for Participation

___________________________________________________________________

            CALL FOR PARTICIPATION - ICALP'08

                   35th International Colloquium on
              Automata,  Languages and Programming

               July 6-13, 2008, Reykjavik, Iceland

                   http://www.ru.is/icalp08
               
___________________________________________________________________

The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS) will be held from the 6th to the 13th of July 2008 on the premises of Reykjavik University in Reykjavik, Iceland. The main conference will take place from the 7th till the 11th of July, and will be preceded and followed by 13 co-located events. (See http://www.ru.is/icalp08/workshops.html for the list of events affiliated with ICALP 2008.) In addition, the ETACS award 2008 to Leslie G. Valiant (Harvard, USA) and the Goedel prize 2008 will be awarded at the conference.

Following the successful experience of the last three editions, ICALP 2008 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community.

The scientific programme for the conference is available at the following URLs:

http://www.ru.is/icalp08/programme.html (programme overview)
http://www.ru.is/icalp08/Icalp08TrackAProg.html (track A)
http://www.ru.is/icalp08/programmeB.html (track B)
http://www.ru.is/icalp08/programmeC.html (track C).

Apart from the presentation of 126 selected contributions for the three tracks, the conference will feature the following invited talks:

   * Ran Canetti (IBM T.J. Watson Research Center and MIT, USA)
    "Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency"
   * Bruno Courcelle (Labri, Universite Bordeaux, France)
    "Graph Structure and Monadic Second-order Logic: Language Theoretical Aspects"
   * Javier Esparza (Technische Universitaet Muenchen, Germany)
     "Newtonian Program Analysis"
   * Muthu Muthukrishnan (Google, USA)
     "Internet Ad Auctions: Insights and Directions"
   * Peter Winkler (Dartmouth, USA).

In addition, Peter Winkler will hold a master class on mathematical puzzles on Tuesday, 8 July, and there will be talks by Leslie G. Valiant and the recipient(s) of the Goedel
prize 2008 on Thursday, 10 July.

REGISTRATION
********************

Information on registration for the conference and affiliated events is available at

http://www.ru.is/icalp08/registration.html

To register, visit the URL

http://skraning.iii.is/icalpreg.asp

We strongly recommend that you register for the ICALP conference and book accommodation before May 5th, as that date is the deadline for registering at the lower fee. After May 5th hotel rooms will also start to get released since July is the prime holiday season in Iceland and the demand for hotel accommodation is very high.

NOTE: For those who have not decided yet which workshop(s) they are going to attend when registering for the conference, it is possible to register for workshops at the lower fee until June 5th by sending an e-mail to the Conference Secretariat at the address icalp2008 AT iii.is.



ORGANIZING COMMITTEE:
*********************

Luca Aceto
Magnus M. Halldorsson
Anna Ingolfsdottir

CONTACT ADDRESSES:
******************

Email: icalp08 AT ru.is
For further information see: http://www.ru.is/icalp08/


******************************


<div>
<div>___________________________________________________________________<br><br>		 &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; CALL FOR PARTICIPATION - ICALP'08<br><br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;&nbsp;&nbsp; 35th International Colloquium on<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Automata, &nbsp;Languages and Programming<br><br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;July 6-13, 2008, Reykjavik, Iceland<br><br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;<a href="http://www.ru.is/icalp08">http://www.ru.is/icalp08</a><br> &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <br>
___________________________________________________________________<br>
</div>
<br>The 35th International Colloquium on Automata, Languages and Programming, the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS) will be held from the 6th to the 13th of July 2008 on the premises of Reykjavik University in Reykjavik, Iceland. The main conference will take place from the 7th till the 11th of July, and will be preceded and followed by 13 co-located events. (See <a href="http://www.ru.is/icalp08/workshops.html">http://www.ru.is/icalp08/workshops.html</a> for the list of events affiliated with ICALP 2008.) In addition, the ETACS award 2008 to Leslie G. Valiant (Harvard, USA) and the Goedel prize 2008 will be awarded at the conference. <br><br>Following the successful experience of the last three editions, ICALP 2008 will complement the established structure of the scientific program based on Track A on Algorithms, Automata, Complexity and Games, and Track B on Logic, Semantics, and Theory of Programming, corresponding to the two main streams of the journal Theoretical Computer Science, with a special Track C on Security and Cryptography Foundations The aim of Track C is to allow a deeper coverage of a particular topic, to be specifically selected for each year's edition of ICALP on the basis of its timeliness and relevance for the theoretical computer science community.<br><br>The scientific programme for the conference is available at the following URLs:<br><br><a href="http://www.ru.is/icalp08/programme.html">http://www.ru.is/icalp08/programme.html</a> (programme overview)<br><a href="http://www.ru.is/icalp08/Icalp08TrackAProg.html">http://www.ru.is/icalp08/Icalp08TrackAProg.html</a> (track A)<br><a href="http://www.ru.is/icalp08/programmeB.html">http://www.ru.is/icalp08/programmeB.html</a> (track B)<br><a href="http://www.ru.is/icalp08/programmeC.html">http://www.ru.is/icalp08/programmeC.html</a> (track C).<br><br>
Apart from the presentation of 126 selected contributions for the three tracks, the conference will feature the following invited talks:<br><br> &nbsp; &nbsp;* Ran Canetti (IBM T.J. Watson Research Center and MIT, USA) <br>&nbsp;&nbsp;&nbsp; "Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency"<br>
 &nbsp; &nbsp;* Bruno Courcelle (Labri, Universite Bordeaux, France)<br>&nbsp;&nbsp;&nbsp; "Graph Structure and
Monadic Second-order Logic: Language Theoretical Aspects"<br> &nbsp; &nbsp;* Javier Esparza (Technische Universitaet Muenchen, Germany)<br>&nbsp;&nbsp;&nbsp;&nbsp; "Newtonian Program Analysis"<br> &nbsp; &nbsp;* Muthu Muthukrishnan (Google, USA)<br>
&nbsp;&nbsp;&nbsp;&nbsp; "Internet Ad Auctions: Insights and Directions"<br> &nbsp; &nbsp;* Peter Winkler (Dartmouth, USA). <br><br>In addition, Peter Winkler will hold a master class on mathematical puzzles on Tuesday, 8 July, and there will be talks by Leslie G. Valiant and the recipient(s) of the Goedel<br>
prize 2008 on Thursday, 10 July. <br><br>REGISTRATION<br>********************≤br><br>Information on registration for the conference and affiliated events is available at <br><br><a href="http://www.ru.is/icalp08/registration.html">http://www.ru.is/icalp08/registration.html</a><br><br>To register, visit the URL<br><br><a href="http://skraning.iii.is/icalpreg.asp">http://skraning.iii.is/icalpreg.asp</a><br><br>We strongly recommend that you register for the
ICALP conference and book accommodation before May 5th, as that date is
the deadline for registering at the lower fee. 
After May 5th hotel rooms will also start to get released since July
is the prime holiday season in Iceland and the demand for hotel
accommodation is very high.  

<p class="normal"> NOTE: For those who
have not decided yet which workshop(s) they are going to attend
when registering for the conference, it is possible to register for
workshops at the lower fee until June 5th by sending an e-mail to the
Conference Secretariat at the address icalp2008 AT <a href="http://iii.is">iii.is</a>. <br></p>
<br><br>ORGANIZING COMMITTEE:<br>*********************<br><br>Luca Aceto<br>Magnus M. Halldorsson<br>Anna Ingolfsdottir<br><br>CONTACT ADDRESSES:<br>******************<br><br>Email: icalp08 AT <a href="http://ru.is">ru.is</a><br>For further information see: <a href="http://www.ru.is/icalp08/">http://www.ru.is/icalp08/</a><br><br><br>******************************<br><br><br>
</div>
Permalink | Reply | 0 comments |
headers
Jaime Lloret Mauri | 4 May 2008 20:24
Picon

Deadline Extension UBICOMM 2008, September 29 - October 4, Valencia, Spain

Please consider to contribute to and/or forward to the appropriate groups the
following opportunity to submit and publish original scientific results.

Apologies for cross-postings.

==============  UBICOMM 2008 Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

UBICOMM 2008, The Second International Conference on Mobile Ubiquitous
Computing, Systems, Services and Technologies
September 29 - October 4, Valencia, Spain

General page: http://www.iaria.org/conferences2008/UBICOMM08.html
Call  for Papers: http://www.iaria.org/conferences2008/CfPUBICOMM08.html

Important deadlines:

Submission deadline May 15, 2008
Notification June 15, 2008
Registration and camera ready July 20, 2008

Submissions will be peer-reviewed, published by IEEE CS Press, posted in IEEE
Digital Library, and indexed with the major indexes.

Extended versions of selected papers will be invited for specialized journals.

UBICOMM 2008 Special Area Tracks (details in the CfP on site):

Fundamentals

Semantics of ubiquity; Ubiquitous knowledge; Knowledge discovery mechanisms;
Profiling ubiquitous environments; Ubiquitous technologies for education,
learning, and training

Mobility

Ubiquitous computing; Wearable computing; Mobile computing; Nomadic computing;
Mobile commerce; Mobile learning

Information Ubiquity

Ubiquitous information appliances; Information retrieval and filtering; Context
awareness; Control of ubiquitous data; Data management and processing; Data
replication, migration and dissemination

Ubiquitous Multimedia Systems and Processing

Multimedia content recognition, indexing and search; Mobile graphics, games and
entertainment; Ubiquitous multimedia applications and systems; Streaming mobile
multimedia; Mobile media management; Multimedia ubiquitous platforms; Multimedia
Indexing and Compression; Image and Signal Processing; Virtual reality in
ubiquitous systems

Wireless Technologies

Bluetooth; 802.11.x; 802.15.x; ZigBee; WiMax

Web Services

Web 2.0; Semantic web; Web services; Ontology; Web Services evolution; Web
Services applications

Ubiquitous networks

Ubiquitous networks; Network management; Network performance evaluation;
Networks and technology convergence; Internet access in ubiquitous systems;
Ubiquitous mesh, ad hoc and sensor networks; RFID; Reconfigurability and
personalization of ubiquitous networks

Ubiquitous devices and operative systems

Design of devices for ubiquitous systems; Mobile devices; Wearable devices;
Embedded systems; Operative systems for ubiquitous devices; Real-time operating
systems and scheduling

Ubiquitous mobile services and protocols

Frameworks, architectures, and languages for ubiquitous services; Queries,
transactions and workflows in mobile and ubiquitous Networks; Algorithms for
ubiquitous systems; SLA/QoS in ubiquitous services; Ontology based services;
Location-based services; Protocols and interaction mechanisms for ubiquitous
services; Mobile services and service convergence; Service discovery
mechanisms; Tracking in ubiquitous environments; Measurement, control, and
management of ubiquitous services; Design and development of ubiquitous
services; Wireless/mobile service delivery

Ubiquitous software and security

Ambient components; Agent technologies; Software for spontaneous interoperation;
Dependability guarantees; Security; Key Management and Authentication; Trust;
Privacy; Fault-tolerance; Multimedia Information Security

Collaborative ubiquitous systems

Cooperative networks for ubiquitous systems; Cooperative applications for
ubiquitous networks; Handheld and wearable systems for interaction in
collaborative groups and communities; Ad hoc collaboration in ubiquitous
computing environments; Awareness of collaboration and of work environment;
Inherently mobile collaborative work

User and applications

Mobile user interfaces; Ubiquitous user-generated content (weblogs, wikis,
etc.); Mobile and ubiquitous computing support for collaborative learning; User
modeling and personalization; Context- and location-aware applications;
Toolkits, testbeds, development environments; Tools and techniques for
designing, implementing, & evaluating ubiquitous systems; Constructing,
deploying and prototyping of ubiquitous applications; Evaluation of user models
for ubiquitous environments; On-line analytical techniques; Human-computer
interaction in ubiquitous computing environments; Ubiquitous e-Development
(business, science, health, etc.); Case Studies; Emerging
industrial/business/scientific ubiquitous scenarios; Ambient intelligence;
Social issues and implications of ubiquitous system

================================

UBICOMM 2008 Chairs

General Chair
Jaime Lloret Mauri, Polytechnic University of Valencia, Spain

Program Committee Chairs
Narcís Cardona, Polytechnic University of Valencia, Spain
Kwang-Cheng Chen, Taiwan National University, Taiwan

Steering Committee Chair
Petre Dini, Cisco Systems, Inc. / Concordia University, Canada

===============================================

--

--
Permalink | Reply | 0 comments |
headers
PNDS-Organizers | 4 May 2008 22:29
Picon

PNDS'08: Call for Posters

Dear colleague,

the highly selective review process resulted in
seven full contributions and three short presentations
for the PNDS'08 workshop.
In addition the submission of posters is still possible!
They will be included in the final proceedings with two pages.
However, the submission deadline is very near!
So if you want to present your ongoing work or a new idea,
which should be discussed with some competent colleagues,
then have a look at the:

                    Call for Posters
             International Workshop on
       Petri Nets and Distributed Systems

PNDS'08 is a satellite event of Petri Nets 2008.

Detailed information about the workshop, can be found at:

   <http://www.informatik.uni-hamburg.de/TGI/events/pnds08/>

The submission phase for full papers has ended.

However, poster submissions are still possible.

Ongoing work (up to 2 pages) can be presented in a
special poster session.

The submission deadline for posters
(up to two pages summary for the proceedings) is:

       09. May 2008

Submissions should be send directly to the organizers of PNDS'08 and
in case of any further questions please contact them via
mailto:pnds08 <at> informatik.uni-hamburg.de

PNDS'08 is planned to be a meeting event for those interested
in the combination of Petri nets with distributed systems in
the broadest sense. Therefore, the following topics
(and others!) are of interest:

         o Petri Net Formalisms and Extensions for Modeling
            Distributed Systems
         o Application of Petri Nets to
               + Distributed Algorithms
               + Distribution in Hardware and Hardware/Software Aspects
               + Communication and cooperation protocols
               + Mobility and Mobile Systems
               + (Software) Architecture for Distributed Systems
               + Development and SW-Engineering of Distributed Systems
               + Grid systems and Grid Computing
               + Semantic Web, Web Services and Middleware Technology
               + Application Areas like Business Systems, Flexible
                  Manufacturing Systems, Computer Networks
         o PN and Industry Standards like J2EE, CORBA, .NET
         o Tools in the above mentioned fields

We would like to encourage you and your colleagues and students
working in the fields of Petri nets or distributed systems to
submit a contribution and to participate at PNDS'08.

Best regards,
the PNDS'08 Team

--

-- 
PNDS'08 Organizers
International Workshop on Petri Nets and Distributed Systems
mailto:pnds08 <at> informatik.uni-hamburg.de
http://www.informatik.uni-hamburg.de/TGI/events/pnds08/
Permalink | Reply | 0 comments |
headers
Arend Rensink | 5 May 2008 11:45
Picon
Picon
Picon

Graph-Based Tools Contest: Call for Cases

Graph-Based Tools Contest: Call for Cases
=========================================
12-13 September, Leicester, UK
Satellite workshop of ICGT 2008
http://www.fots.ua.ac.be/events/grabats2008/

Tools are crucial for the promotion of graph transformation in industry. Currently, a variety of tool
environments exist for different graph transformation approaches. However, for potential users,
working in application domains where graph transformation may be a useful technique, it is difficult to
select the right tool for their purpose. Moreover, even the experience of many existing users does not
extend beyond a few of the available tools. Finally, and maybe most importantly, the tool developers
themselves can also be inspired by a more detailed understanding of related approaches.

The aim of this event is to compare the expressiveness, the usability and the performance of graph
transformation tools along a number of selected case studies. This will enable us to learn about the pros
and cons of each tool
considering different applications. A deeper understanding of the relative merits of different tool
features will help to further improve graph transformation tools and to indicate open problems.

The event is the second of its kind: the first graph-based tool contest took place as part of the AGTIVE 2007
workshop in Kassel, Germany.

Phase 1: Case proposal submission
---------------------------------

In order to facilitate the comparison of graph transformation tools, we are solliciting potential case
studies. Submissions for case study proposals are requested. If you have a suitable case study, please
describe it shortly but as detailed as needed and send it to Pieter Van Gorp (pieter <at> pietervangorp.com)
and to Arend Rensink (rensink <at> cs.utwente.nl) by *May 20, 2008* This includes cases that have already
been carried out using a given tool. A committee will select a small, but representative set of case
studies to be used for the contest.

Please submit at http://www.easychair.org/conferences/?conf=grabats2008

Phase 2: Case solution submission
---------------------------------

All those who like to participate in the contest are asked to choose one or more case studies, take their
favourite graph transformation tool and submit their solutions. Each submission should cover the
following issues: a short presentation of the chosen graph transformation tool, a description of the
chosen case study variant if any, a presentation of the chosen solution, including a discussion of design
decisions. More detailed instructions will be given in the case descriptions themselves.

Solutions are to be submitted by July 1, 2008. Depending on the number of submissions, a selection will be
made of solutions to be presented; the other submissions will get a chance for a (non-plenary) tool demo at
the end of the workshop. In addition, it is planned to have a special journal issue where submitters have a
chance to improve and write up their solutions.

Please submit at http://www.easychair.org/conferences/?conf=grabats2008

Phase 3: Workshop and live contest
----------------------------------

Besides the presentation and discussion of the solutions, the workshop will include for the first time a
live contest session. During this session, which will take place the afternoon of Friday, September 12,
participants will be handed out a case description which they will be asked to solve within the time
available on Friday. Solutions will be compared and presented on Saturday, September 13, together with
the submitted solutions to the published case studies. In this way we want to compare the usability of the
tools for rapid development.

Important dates:
----------------
May 20, 2008:   Deadline for case study proposals
June 1, 2008:   Selected case studies published
July 1, 2008:   Deadline for solutions
August 1, 2008: Acceptance notice for solutions

Case Committee:
---------------
Rubino Geiss (University of Karlsruhe, Germany)
Gabor Karsai (Vanderbilt University, US)
Arend Rensink (University of Twente, The Netherlands)
Gabriele Taentzer (University of Marburg, Germany)
Pieter Van Gorp (University of Antwerp, Belgium)
Daniel Varro (Technical University of Budapest, Hungary)
Albert Zündorf (University of Kassel, Germany)

Organizers:
-----------
Arend Rensink (Email: rensink <at> cs.utwente.nl)
Pieter Van Gorp (Email: pieter <at> pietervangorp.be)

Support:
--------
Tom Staijen (Email: staijen <at> cs.utwente.nl)
Permalink | Reply | 0 comments |
headers
Luís Caires | 5 May 2008 17:08
Picon
Favicon

Postdoctoral Scholarship Available in Lisbon (CMU-PT Project)


The Center of Informatics and Information Technology (CITI) at the
Department of Informatics of FCT/Universidade Nova de Lisboa welcomes
applications for one (1) post-doctoral scholarship position in the  
areas of
programming languages and logic in computer science.

                             *** DEADLINE 15 JUNE 08 ****

The position is funded in the context of the CMU-Portugal research /
educational collaborative framework launched by the Portuguese
Foundation for Science and Technology and the Carnegie-Mellon
University (www.cmuportugal.org).

The scholarship will start from middle 2008, and will be extensible up
to 4 years, renewable on a yearly basis.

The admin rules applicable may be found in the FCT/MCTES site in
http://alfa.fct.mctes.pt/apoios/bolsas/.

The successful candidate will contribute for the development of the
ongoing research collaboration between CITI / DI FCT UNL and the
Carnegie Mellon Department of Computer Science on the general themes of
software foundations, involving the teams of Frank Pfenning at CMU and
our team at UNL. The main objective of the project is the development
of logical techniques and tools, based on substructural logics for
concurrency, for reasoning about general concurrent and distributed
systems. The project is also expected to seed the integration of
students in the Dual Degree PhD Program in Computer Science of the
ICTI/CMU-Portugal partnership.

We prefer applicants with strong interest and experience in some of
the following topics: foundations of programming languages,
programming language design, logics in computer science, concurrency
theory.

The hosting environment will be the Programming Languages Research
Stream of the CITI, with regular visits to CMU.  More information
about the CITI research environment and its members may be found at
the website: citi.di.fct.unl.pt.

Applications should include a curriculum vitae in pdf format and
should be sent to

CITI - Centro de Informatica e Tecnologias da Informação
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
2829-516 Caparica, Portugal

E-mail: citi-admin <at> di.fct.unl.pt
Telephone: +351 212 948 536
Fax: +351 212 948 541

Please email me for any further questions about the position and
the related projects,

Best regards,

Luis Caires

=============================================
General Info on CITI (citi.di.fct.unl.pt)

The CITI (Centro de Informática e Tecnologias da Informação - Centre
for Informatics and Information Technologies ) is a research center
partially funded by the Portuguese National Science Foundation
(Fundação para a Ciência e Tecnologia) and by the Universidade Nova de
Lisboa, Faculty of Sciences and Technology (FCT/UNL), Department of
Informatics, where it is hosted since its foundation in 1997.

CITI's research team is currently composed by more that 50
researchers, with a broad coverage of classical and emergent topics
ranging from theoretical foundations to applications, and is one of
the largest research units in Computer Science and Informatics in
Portugal.
Permalink | Reply | 0 comments |
headers
philippe.geril | 8 May 2008 11:59
Favicon

FOODSIM'2008, June 26-28, UC Dublin, Ireland, Preliminary Programme

 

Dear Colleague,

please find enclosed the FOODSIM'2008 Conference
Preliminary Programme, which will be held in Dublin
from June 26-28, 2008.

More information about the event can be found on:
FOODSIM'2008

To register please go to:

FOODSIM'2008 Registration

Regards
Philippe

Preliminary Programme

Session Timing

Thursday June 26

08.00-17.00 Registration
08.45-09.00 Welcome
09.00-10.00 Modelling of Heat Transfer and Simulation of Thermal Processes
10.00-10.30 Coffee Break
10.30-11.10 Invited Speaker
11.10-12.30 Predictive Microbiology applied to Food and Bio-Industries
12.30-13.30 Lunch
13.30-15.00 Chemical Risk Assessment Modelling for Food Safety
15.00-15.30 Coffee Break
15.30-17.30 Risk Assessment Modelling in Food and Biotechnology
20.00-23.00 Conference Dinner

Friday June 27

08.30-17.00 Registration
09.00-10.00 Modelling and Simulation in Food Sciences and Food Engineering
10.00-10.30 Coffee Break
10.30-11.10 Invited Speaker
11.10-12.30 Modelling and Simulation in Food Sciences and Biotechnology
12.30-14.00 Lunch
14.00-15.00 Energy Efficiency Improvement
15.00-15.30 Coffee Break
15.30-16.50 Simulation Tools for Food Analysis
16.50-17.50 COST Action Proposal

Saturday June 28

08.30-09.00 Registration
08.30-09.00 Roundtable Discussion Sustainable Food Production
09.00-10.00 Simulation of Food Production Systems and the Supply Chain
10.00-10.30 Coffee Break
10.30-11.10 Sustainable Food Production
11.10-11.30 Closing Session and Best Paper Award

Invited Speakers

Predictive Microbiology Tools for Evaluating the Compliance of RTE Foods with the New European Union Safety Criteria for Listeria monocytogenes
Kostas Koutsoumanis, Laboratory of Hygiene and Microbiology of Foods, Department of Food Science & Technology, School of Agriculture, Aristotle University of Thessaloniki AUTh, Thessaloniki, Greece

Modelling and simulation of dynamical systems with a dynamical structure
Jean-Louis Giavitto, IBISC, Laboratory for Computer Science, Integrative Biology and Complex Systems, University of Evry, CNRS and Genopole, France

Modelling of Heat Transfer and Simulation of Thermal Processes

FOODSIM_ENG_01
Global and local food quality optimization in batch thermal processes
Miri T, Tsoukalas A, Bakalis S, Pistikopoulos S, Rustem B, Fryer PJ, The University of Birmingham, Edgbaston, Birmingham and Imperial College, London, United Kingdom

FOODSIM_ANA_02
Modelling of Heat Transfer to Foods Incorporating Uncertainty in the location of Experimental Temperature Measurement
Kevin Cronin, University College Cork, Cork, Ireland and Jose Caro Corrales, Universidad Autónoma de Sinaloa

FOODSIM_TM_03
Optimization of drying kinetics of paneer with low pressure superheated steam using an artificial neural network
Shivamurti Shrivastav, B.K. Kumbhar Manoj Kulshreshtha and Amarjeet Kalra, A D Patel, Institute of Technology, Anand, Gujarat, India

Predictive Microbiology and HACCP Shelf Life Prediction

FOODSIM_SCI_02
Individual Based Modelling and Flow Cytometry: Two Suitable Tools for Predictive Microbiology
Clara Prats Soler, Jordi Ferrer Savall, Daniel López Codina, Universitat Politècnica de Catalunya, Castelldefels and Josep Vives Rego, Universitat de Barcelona, Barcelona, Spain

FOODSIM_ANA_06
Predictive modelling of Listeria monocytogenes in Irish smoked salmon
S.D. Chitlapill and N. Abu-Ghannam, Dublin Institute of Technology, E.J. Cummins, University College Dublin, Dublin, Ireland

FOODSIM_SCI_08
Assessment of the Sensorial Shelf Life of Cultivated Mushrooms
Debabandya Mohapatra and Fernanda A. Rodrigues, University College Cork, Cork and Jesus M. Frias, Dublin Institute of Technology, Dublin, Ireland

FOODSIM_ENG_04
Optimal dynamic experiment design as a tool for accurate estimation of microbial growth cardinal temperatures
Van Derlinden, E., Venken, L., Bernaerts, K. and Van Impe, J.F. BioTeC, Katholieke Universiteit Leuven, Leuven, Belgium

Chemical Risk Assesment/Exposure Assessment

FOODSIM_ANA_03
An Exposure Assessment of Mycotoxins from Feed to Food in Dairy Milk
Rory Coffey and Enda Cummins, University College Dublin, Dublin 4, Ireland

FOODSIM_ANA_09
Quantitative risk ranking and prioritisation of chemical contaminants in skim milk powder chain
A.Adekunte, F. Butler and C.O’Donnell, School of Agriculture, Food Science and Veterinary Medicine, Belfield, Dublin , Ireland

FOODSIM_TM_04
A Methodology for predicting Barley β Glucan levels during Pre-Harvest Stages
Uma Tiwari and Enda Cummins, UCD School of Agriculture, University College Dublin, Dublin, Ireland

FOODSIM_SCI_03
Exposure assessment to phycotoxins in recreative shellfish harvesters: a sampling plan
Cyndie Picot, François-Gilles Carpentier, Alain-Claude Roudot, Université de Bretagne Occidentale, Brest Cedex 3, France

Risk Assessment Modelling in Food and Biotechnology

FOODSIM_ENG_02
A Meta-Analysis Study of the Effect of Chilling on Prevalence of Salmonella SPP, on Pig Carcasses
D. Bergin, U. Gonzales-Barron and F. Butler, UCD School of Agriculture, University College Dublin, Dublin, Ireland

FOODSIM_SCI_05
A Preliminary Simulation Model for the Prevalence of Salmonella 4 spp during Pork Processing in Ireland
Ursula Gonzales Barron, Francis Butler and Donal Bergin, University College Dublin, and Sharon Duggan, Deirdre Prendergast and Geraldine Duffy, Ashtown Food Research Centre, Dublin, Ireland

FOODSIM_SCI_06
A comparison of Deterministic and Stochastic Epidemic Models for the Risk Assessment of Salmonella at the Preharvest level of Pork Production
Ilias Soumpasis and Francis Butler, University College Dublin, Belfield, Dublin, Ireland

FOODSIM_SCI_04
A Comparison of a Simple Spreadsheet Tool for Risk Assessment and a Fuzzy Risk Assessment Tool for Ranking of Foodborne Pathogens in Poultry Meat
Beatriz Aybar-Barboza, Francis Butler, UCD School of Agriculture, University College Dublin, Dublin, Ireland

Modelling and Simulation in Food Sciences and Food Engineering

FOODSIM_PROD_01
Modelling and simulation of bakery production lines for process analysis and optimization
W. Hussein, F. Hecker, M. Mitzscherling, Th. Becker, Universität Hohenheim, Stuttgart, Germany

FOODSIM_ANA_04
Sandwich Bread Cooling
Jean-Yves Monteau, GEPEA, UMR CNRS 6144, ENITIAA, Nantes cedex 3, France

FOODSIM_SCI_01
Effect of the temperature and relative humidity in the respiration rate (RR) & transpiration rate (TR) in Agaricus bisporus
L. Aguirre, J. Frías and C. Barry-Ryan Dublin Institute of Technology and H. Grogan, Teagasc, Kinsealy R&D Centre, Dublin, Ireland

FOODSIM_N_01
Time to Failure and Time to Repair Profiles Identification
Giuseppe Perrica, University of Modena e Reggio Emilia, Reggio Emilia, Italy

Modelling and Simulation in Food Science and Biotechnology

FOODSIM_ENG_03
Estimation of two parameters to fit a tendency model for dynamic simulation of an industrial crystallisation process
Michel Benne, Brigitte Grondin-Perez, Jean-Pierre Chabriat, University of La Reunion, Saint-Denis messageries cedex, France

FOODSIM_ANA_05
Prediction of partition coefficients of plastic additives between food simulants and polyethylene films
Guillaume Gillet, Laboratoire National d’Essais, Trappes Cedex. Stéphane Desobry, Nancy Université, LSGA-ENSAIA-INPL, Vandoeuvre lès Nancy and Olivier Vitrac, Institut National de la Recherche Agronomique, Massy, France

FOODSIM_TM_02
Reaction Engineering for Sponge Cake Baking: Development of a Methodology to extract an Apparent Identifiable Reaction Scheme
S. Fehaili, B. Rega, and P. Giampaoli, AgroParisTech, CNAM, INRA and M. Courel and C. Bonazzi AgroParisTech, Cemagref, INRA, Massy and C. Brandam and X. Meyer, CNRS/UPS/INPT, Toulouse, France

Energy Efficiency Improvement

FOODSIM_ENERG_01
An Application for Energy Optimization in Sugar Plants
Merino A. and Alves R., Center of Sugar Technology, and Acebes L. F., de Prada C., University of Valladolid, Valladolid, Spain

FOODSIM_ENERG_03
Computer-Aided Energy Efficiency Evaluation of Microwave Thawing
L. Boillereaux and E. Akkari, GEPEA, UMR CNRS 6144, ENITIAA and C. Josset, B. Auvity and C. Castelain, LTN, UMR CNRS 6607, Polytech. Nantes, France

FOODSIM_ENERG_04
Food Slab Heating by Combined Microwaves and Forces Convection: A Conjugate Approach
Francesco Marra and Gianpaolo Ruocco, DICA, Universita degli studi di Salerno, Fisciano (SA), and Maria Valeria De Bonis, DITEC, Universita degli studi della Basilicata, Potenza, Italy

Simulation Tools for Food Analysis

FOODSIM_ANA_01
Toxical Compounds Evolution using two different Heat Transfer Delivery during Deepfrying
Gabriella Carrieri, Maria Valeria De Bonis and Gianpaolo Ruocco, DITEC, Universitµa degli studi della Basilicata, Potenza, Italy

FOODSIM_ANA_07
Moisture content and temperature evolution in foodstuffs in of ultrasonically assisted intermittent drying: preliminary results
H.A. Váquiro, University of Tolima, Ibagué, Colombia, M.V. De Bonis and G. Ruocco, DITEC, University of Basilicata, Potenza, Italy and J. Bon and A. Mulet, ASPA Group, Polytechnic University of Valencia, Valencia, Spain

FOODSIM_SCI_07
Low-grade cane sugar crystallization study of the effects of operating conditions on the mass of crystal germs produced carried out by design of experiments
Brigitte Grondin-Perez, Michel Benne and Jean-Pierre Chabriat, University of La Reunion, Saint-Denis messageries cedex, France

FOODSIM_ENERG_02
Determination of dielectric parameters of frozen materials via reverse technique
S. Curet, O. Rouaud, L. Boillereaux, GEPEA, UMR CNRS 6144, ENITIAA, Nantes, France

Simulation of Food Production Systems and The Supply Chain

FOODSIM_PROD_02
Discrete Event Simulation with Life Cycle Assessment Data at a Juice Manufacturing System
Björn Johansson, Johan Stahre and Anne-Marie Tillman Chalmers University of Technology and Johanna Berlin, Karin Östergren and Barbro Sundström, Swedish Institute for Food and Biotechnology, Gothenburg, Sweden

FOODSIM_PROD_03
Dynamic Simulation of the Chicken Supply Chain Facing Avian Influenza Crisis
Daniel Thiel, Thi Le Hoa Vo, University of Nantes and E.N.I.T.I.A.A. Nantes, LEM- LARGECIA, Nantes Cedex 3, France

FOODSIM_TM_01
Web-based predictive models for process optimization in small and medium-sized dairy enterprises
M. Schutyser, F. Smit, H. Straatsma and P. de Jong, NIZO food research BV, Ede, The Netherlands

Sustainable Food Production

FOODSIM_SUS_01
Integrated Simulation Technology for safe sustainable Food Processes
Karin Östergren, Hans Janestad, Johanna Berlin and Ulf Sonesson, Swedish Institute for Food and Biotechnology, Gothenburg, Sweden

FOODSIM_PROD_04
Modelling product quality in food supply chains
Martin Grunow, Renzo Akkerman and Aiying Rong, Technical University of Denmark, Lyngby, Denmark

--
Philippe Geril Tel: +32.59.255.330
EUROSIS -ETI Fax: +32.59.255339
Greenbridge NV E-mail: philippe.geril <at> eurosis.org
Wetenschapspark 1 E-mail: pgeril <at> yahoo.co.uk
Plassendale 1 URL: http://www.eurosis.org
B-8400 Ostend
Belgium 


<div>
<div></div>
<div>&nbsp;<p>Dear Colleague,</p>
<p>please find enclosed the FOODSIM'2008 Conference<br>
Preliminary Programme, which will be held in Dublin<br>
from June 26-28, 2008.</p>
<p>More information about the event can be found on:<br><a href="http://www.eurosis.org/cms/?q=taxonomy/term/105">FOODSIM'2008</a></p>
<p>To register please go to:<br><a href="https://www.eurosis.org/cms/index.php?q=node/691"><br>
FOODSIM'2008 Registration</a></p>
<p>Regards<br>
Philippe</p>
<h2>Preliminary Programme</h2>
<h3>Session Timing</h3>
<p>Thursday June 26</p>
<p>08.00-17.00 Registration<br>
08.45-09.00 Welcome<br>
09.00-10.00 Modelling of Heat Transfer and Simulation of Thermal Processes<br>
10.00-10.30 Coffee Break<br>
10.30-11.10 Invited Speaker<br>
11.10-12.30 Predictive Microbiology applied to Food and Bio-Industries<br>
12.30-13.30 Lunch<br>
13.30-15.00 Chemical Risk Assessment Modelling for Food Safety<br>
15.00-15.30 Coffee Break<br>
15.30-17.30 Risk Assessment Modelling in Food and Biotechnology<br>
20.00-23.00 Conference Dinner</p>
<p>Friday June 27</p>
<p>08.30-17.00 Registration<br>
09.00-10.00 Modelling and Simulation in Food Sciences and Food Engineering<br>
10.00-10.30 Coffee Break<br>
10.30-11.10 Invited Speaker<br>
11.10-12.30 Modelling and Simulation in Food Sciences and Biotechnology<br>
12.30-14.00 Lunch<br>
14.00-15.00 Energy Efficiency Improvement<br>
15.00-15.30 Coffee Break<br>
15.30-16.50 Simulation Tools for Food Analysis<br>
16.50-17.50 COST Action Proposal</p>
<p>Saturday June 28</p>
<p>08.30-09.00 Registration<br>
08.30-09.00 Roundtable Discussion Sustainable Food Production<br>
09.00-10.00 Simulation of Food Production Systems and the Supply Chain<br>
10.00-10.30 Coffee Break<br>
10.30-11.10 Sustainable Food Production<br>
11.10-11.30 Closing Session and Best Paper Award</p>
<h3>Invited Speakers</h3>
<p><a href="http://www.eurosis.org/cms/?q=node/515">Predictive
Microbiology Tools for Evaluating the Compliance of RTE Foods with the
New European Union Safety Criteria for Listeria monocytogenes</a><br>
Kostas Koutsoumanis, Laboratory of Hygiene and Microbiology of Foods,
Department of Food Science &amp; Technology, School of Agriculture,
Aristotle University of Thessaloniki AUTh, Thessaloniki, Greece</p>
<p><a href="http://www.eurosis.org/cms/?q=node/515">Modelling and simulation of dynamical systems with a dynamical structure</a><br>
Jean-Louis Giavitto, IBISC, Laboratory for Computer Science,
Integrative Biology and Complex Systems, University of Evry, CNRS and
Genopole, France</p>
<h3>Modelling of Heat Transfer and Simulation of Thermal Processes</h3>
<p>FOODSIM_ENG_01<br>
Global and local food quality optimization in batch thermal processes<br>
Miri T, Tsoukalas A, Bakalis S, Pistikopoulos S, Rustem B, Fryer PJ,
The University of Birmingham, Edgbaston, Birmingham and Imperial
College, London, United Kingdom</p>
<p>FOODSIM_ANA_02<br>
Modelling of Heat Transfer to Foods Incorporating Uncertainty in the location of Experimental Temperature Measurement<br>
Kevin Cronin, University College Cork, Cork, Ireland and Jose Caro Corrales, Universidad Aut&oacute;noma de Sinaloa</p>
<p>FOODSIM_TM_03<br>
Optimization of drying kinetics of paneer with low pressure superheated steam using an artificial neural network<br>
Shivamurti Shrivastav, B.K. Kumbhar Manoj Kulshreshtha and Amarjeet
Kalra, A D Patel, Institute of Technology, Anand, Gujarat, India</p>
<h3>Predictive Microbiology and HACCP Shelf Life Prediction</h3>
<p>FOODSIM_SCI_02<br>
Individual Based Modelling and Flow Cytometry: Two Suitable Tools for Predictive Microbiology<br>
Clara Prats Soler, Jordi Ferrer Savall, Daniel L&oacute;pez Codina,
Universitat Polit&egrave;cnica de Catalunya, Castelldefels and Josep Vives
Rego, Universitat de Barcelona, Barcelona, Spain</p>
<p>FOODSIM_ANA_06<br>
Predictive modelling of Listeria monocytogenes in Irish smoked salmon<br>
S.D. Chitlapill and  N. Abu-Ghannam, Dublin Institute of Technology, E.J. Cummins, University College Dublin, Dublin, Ireland</p>
<p>FOODSIM_SCI_08<br>
Assessment of the Sensorial Shelf Life of Cultivated Mushrooms<br>
Debabandya Mohapatra and Fernanda A. Rodrigues, University College
Cork, Cork and Jesus M. Frias, Dublin Institute of Technology, Dublin,
Ireland</p>
<p>FOODSIM_ENG_04<br>
Optimal dynamic experiment design as a tool for accurate estimation of microbial growth cardinal temperatures<br>
Van Derlinden, E., Venken, L., Bernaerts, K. and Van Impe, J.F. BioTeC, Katholieke Universiteit Leuven, Leuven, Belgium</p>
<h3>Chemical Risk Assesment/Exposure Assessment</h3>
<p>FOODSIM_ANA_03<br>
An Exposure Assessment of Mycotoxins from Feed to Food in Dairy Milk<br>
Rory Coffey and Enda Cummins, University College Dublin, Dublin 4, Ireland</p>
<p>FOODSIM_ANA_09<br>
Quantitative risk ranking and prioritisation of chemical contaminants in skim milk powder chain<br>
A.Adekunte, F. Butler and C.O&rsquo;Donnell, School of Agriculture, Food Science and Veterinary Medicine, Belfield, Dublin , Ireland</p>
<p>FOODSIM_TM_04<br>
A Methodology for predicting Barley &beta; Glucan levels during Pre-Harvest Stages<br>
Uma Tiwari and Enda Cummins, UCD School of Agriculture, University College Dublin, Dublin, Ireland</p>
<p>FOODSIM_SCI_03<br>
Exposure assessment to phycotoxins in recreative shellfish harvesters: a sampling plan<br>
Cyndie Picot, Fran&ccedil;ois-Gilles Carpentier, Alain-Claude Roudot, Universit&eacute; de Bretagne Occidentale, Brest Cedex 3, France</p>
<h3>Risk Assessment Modelling in Food and Biotechnology</h3>
<p>FOODSIM_ENG_02<br>
A Meta-Analysis Study of the Effect of Chilling on Prevalence of Salmonella SPP, on Pig Carcasses<br>
D. Bergin, U. Gonzales-Barron and F. Butler, UCD School of Agriculture, University College Dublin, Dublin, Ireland</p>
<p>FOODSIM_SCI_05<br>
A Preliminary Simulation Model for the Prevalence of Salmonella 4 spp during Pork Processing in Ireland<br>
Ursula Gonzales Barron, Francis Butler and Donal Bergin, University
College Dublin, and Sharon Duggan, Deirdre Prendergast and Geraldine
Duffy, Ashtown Food Research Centre, Dublin, Ireland</p>
<p>FOODSIM_SCI_06<br>
A comparison of Deterministic and Stochastic Epidemic Models for the
Risk Assessment of Salmonella at the Preharvest level of Pork Production<br>
Ilias Soumpasis and Francis Butler, University College Dublin, Belfield, Dublin, Ireland</p>
<p>FOODSIM_SCI_04<br>
A Comparison of a Simple Spreadsheet Tool for Risk Assessment and a
Fuzzy Risk Assessment Tool for Ranking of Foodborne Pathogens in
Poultry Meat<br>
Beatriz Aybar-Barboza, Francis Butler, UCD School of Agriculture, University College Dublin, Dublin, Ireland</p>
<h3>Modelling and Simulation in Food Sciences and Food Engineering</h3>
<p>FOODSIM_PROD_01<br>
Modelling and simulation of bakery production lines for process analysis and optimization<br>
W. Hussein, F. Hecker, M. Mitzscherling, Th. Becker, Universit&auml;t Hohenheim, Stuttgart, Germany</p>
<p>FOODSIM_ANA_04<br>
Sandwich Bread Cooling<br>
Jean-Yves Monteau, GEPEA, UMR CNRS 6144, ENITIAA, Nantes cedex 3, France</p>
<p>FOODSIM_SCI_01<br>
Effect of the temperature and relative humidity in the respiration rate (RR) &amp; transpiration rate (TR) in Agaricus bisporus<br>
L. Aguirre, J. Fr&iacute;as and C. Barry-Ryan Dublin Institute of Technology
and H. Grogan, Teagasc, Kinsealy R&amp;D Centre, Dublin, Ireland</p>
<p>FOODSIM_N_01<br>
Time to Failure and Time to Repair Profiles Identification<br>
Giuseppe Perrica, University of Modena e Reggio Emilia, Reggio Emilia, Italy</p>
<h3>Modelling and Simulation in Food Science and Biotechnology</h3>
<p>FOODSIM_ENG_03<br>
Estimation of two parameters to fit a tendency model for dynamic simulation of an industrial crystallisation process<br>
Michel Benne, Brigitte Grondin-Perez, Jean-Pierre Chabriat, University of La Reunion, Saint-Denis messageries cedex, France</p>
<p>FOODSIM_ANA_05<br>
Prediction of partition coefficients of plastic additives between food simulants and polyethylene films<br>
Guillaume Gillet, Laboratoire National d&rsquo;Essais, Trappes Cedex.
St&eacute;phane Desobry, Nancy Universit&eacute;, LSGA-ENSAIA-INPL, Vandoeuvre l&egrave;s
Nancy and Olivier Vitrac, Institut National de la Recherche
Agronomique, Massy, France</p>
<p>FOODSIM_TM_02<br>
Reaction Engineering for Sponge Cake Baking: Development of a Methodology to extract an Apparent Identifiable Reaction Scheme<br>
S. Fehaili, B. Rega, and P. Giampaoli, AgroParisTech, CNAM, INRA and M.
Courel and C. Bonazzi AgroParisTech, Cemagref, INRA, Massy and C.
Brandam and X. Meyer, CNRS/UPS/INPT, Toulouse, France</p>
<h3>Energy Efficiency Improvement</h3>
<p>FOODSIM_ENERG_01<br>
An Application for Energy Optimization in Sugar Plants<br>
Merino A. and Alves R., Center of Sugar Technology, and Acebes L. F., de Prada C., University of Valladolid, Valladolid, Spain</p>
<p>FOODSIM_ENERG_03<br>
Computer-Aided Energy Efficiency Evaluation of Microwave Thawing<br>
L. Boillereaux and E. Akkari, GEPEA, UMR CNRS 6144, ENITIAA and C.
Josset, B. Auvity and C. Castelain, LTN, UMR CNRS 6607, Polytech.
Nantes, France</p>
<p>FOODSIM_ENERG_04<br>
Food Slab Heating by Combined Microwaves and Forces Convection: A Conjugate Approach<br>
Francesco Marra and Gianpaolo Ruocco, DICA, Universita degli studi di
Salerno, Fisciano (SA), and Maria Valeria De Bonis, DITEC, Universita
degli studi della Basilicata, Potenza, Italy</p>
<h3>Simulation Tools for Food Analysis</h3>
<p>FOODSIM_ANA_01<br>
Toxical Compounds Evolution using two different Heat Transfer Delivery during Deepfrying<br>
Gabriella Carrieri, Maria Valeria De Bonis and Gianpaolo Ruocco, DITEC, Universit&micro;a degli studi della Basilicata, Potenza, Italy</p>
<p>FOODSIM_ANA_07<br>
Moisture content and temperature evolution in foodstuffs in of ultrasonically assisted intermittent drying: preliminary results <br>
H.A. V&aacute;quiro, University of Tolima, Ibagu&eacute;, Colombia, M.V. De Bonis and
G. Ruocco, DITEC, University of Basilicata, Potenza, Italy and J. Bon
and A. Mulet, ASPA Group, Polytechnic University of Valencia, Valencia,
Spain</p>
<p>FOODSIM_SCI_07<br>
Low-grade cane sugar crystallization study of the effects of operating
conditions on the mass of crystal germs produced carried out by design
of experiments<br>
Brigitte Grondin-Perez, Michel Benne and Jean-Pierre Chabriat, University of La Reunion, Saint-Denis messageries cedex, France</p>
<p>FOODSIM_ENERG_02<br>
Determination of dielectric parameters of frozen materials via reverse technique<br>
S. Curet, O. Rouaud, L. Boillereaux, GEPEA, UMR CNRS 6144, ENITIAA, Nantes, France</p>
<h3>Simulation of Food Production Systems and The Supply Chain</h3>
<p>FOODSIM_PROD_02<br>
Discrete Event Simulation with Life Cycle Assessment Data at a Juice Manufacturing System<br>
Bj&ouml;rn Johansson, Johan Stahre and Anne-Marie Tillman Chalmers
University of Technology and Johanna Berlin, Karin &Ouml;stergren and Barbro
Sundstr&ouml;m, Swedish Institute for Food and Biotechnology, Gothenburg,
Sweden</p>
<p>FOODSIM_PROD_03<br>
Dynamic Simulation of the Chicken Supply Chain Facing Avian Influenza Crisis<br>
Daniel Thiel, Thi Le Hoa Vo, University of Nantes and E.N.I.T.I.A.A. Nantes, LEM- LARGECIA, Nantes Cedex 3, France</p>
<p>FOODSIM_TM_01<br>
Web-based predictive models for process optimization in small and medium-sized dairy enterprises<br>
M. Schutyser, F. Smit, H. Straatsma and P. de Jong, NIZO food research BV, Ede, The Netherlands</p>
<h3>Sustainable Food Production</h3>
<p>FOODSIM_SUS_01<br>
Integrated Simulation Technology for safe sustainable Food Processes<br>
Karin &Ouml;stergren, Hans Janestad, Johanna Berlin and Ulf Sonesson,
Swedish Institute for Food and Biotechnology, Gothenburg, Sweden</p>
<p>FOODSIM_PROD_04<br>
Modelling product quality in food supply chains<br>
Martin Grunow, Renzo Akkerman and Aiying Rong, Technical University of Denmark, Lyngby, Denmark</p>
</div>
--

-- 
<br>
Philippe Geril               Tel: +32.59.255.330
<br>
EUROSIS -ETI                 Fax: +32.59.255339
<br>
Greenbridge NV                E-mail: philippe.geril <at> eurosis.org
<br>
Wetenschapspark 1          E-mail: pgeril <at> yahoo.co.uk
<br>
Plassendale 1                  URL: http://www.eurosis.org
<br>
B-8400 Ostend    
<br>
Belgium                      
<br><br><br>
</div>
Permalink | Reply | 0 comments |

Gmane