[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] ICTCS'07 Call for Participation
- To: post+comp.lang.scheme@xxxxxxxxxxxxxx, <prog-lang@xxxxxxxx>, <prog-lang@xxxxxxx>, <proglog@xxxxxxxxxxxxxx>, <prolog-vendors@xxxxxxx>, <prologia@xxxxxxxxxxxxxxxxxxxxxxx>, <pvs@xxxxxxxxxxx>, <reus@xxxxxxxxxxxxxxxxxxxxxxxxxx>, <scheme@xxxxxxxxxxxxxx>, <seworld@xxxxxxxxxxxxxxx>, <sicstus-users@xxxxxxx>
- Subject: [PVS] ICTCS'07 Call for Participation
- From: "Giuseppe F. Italiano" <italiano@xxxxxxxxxxxxxxxxxxxxxxxx>
- Date: Fri, 22 Jun 2007 15:59:06 +0200 (CEST)
- List-Archive: <http://lists.csl.sri.com/mailman/private/pvs>
- List-Help: <mailto:pvs-request@csl.sri.com?subject=help>
- List-Id: PVS <pvs.csl.sri.com>
- List-Post: <mailto:pvs@csl.sri.com>
- List-Subscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:pvs-request@csl.sri.com?subject=subscribe>
- List-Unsubscribe: <http://lists.csl.sri.com/mailman/listinfo/pvs>,<mailto:pvs-request@csl.sri.com?subject=unsubscribe>
- Sender: pvs-bounces+archive=csl.sri.com@xxxxxxxxxxx
ICTCS'07
10th Italian Conference on
Theoretical Computer Science
October 3-5 2007, Rome, Italy
CALL FOR PARTICIPATION
http://www.disp.uniroma2.it/ictcs07/
The 10th Italian Conference on Theoretical Computer Science (ICTCS
2007) will take place from the 3rd to the 5th of October 2007 in Rome,
Italy. Besides the contributed papers, invited talks will be delivered
by Giorgio Ausiello and Rocco De Nicola.
Additionally, the first day of ICTCS 2007 (October 3rd) hosts a
colloquium in honor of Mario Coppo, Mariangiola Dezani-Ciancaglini and
Simona Ronchi Della Rocca, entitled ``Types and Computations'', which
consists of 6 invited presentations delivered by Corrado Boehm,
Chantal Berline, Furio Honsell, Giuseppe Longo, Henk Barendregt and
Pawel Urzyczyn.
The scientific program and registration information for ICTCS'07 can
be found at the conference website
(http://www.disp.uniroma2.it/ictcs07/). The early registration
deadline is July 28, 2007.
Researchers and students in all areas of theoretical computer science
are encouraged to participate in the conference.
- Prev by Date:
[PVS] CfPart: TPHOLs 2007
- Next by Date:
[PVS] ESSLLI 2008: Call for Course and Workshop Proposals
- Prev by thread:
[PVS] CfPart: TPHOLs 2007
- Next by thread:
[PVS] Call for papers: FLACOS07 CALL FOR PAPERSFirst Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07)Oslo, Norway, 10-12 October, 2007 http://www.ifi.uio.no/flacos07The fast evolution of the Internet has popularized service-oriented architectures with their promise of dynamic IT-supported inter-business collaborations. Realizing this promise involves integrating services which are geographically distant and are offered by a variety of organizations which do not fully trust each other. Indeed, collaboration presumes a minimum level of mutual trust. Wherever trust is perceived as insufficient, business people turn to contracts as a mechanism to reduce risks. The ability to negotiate contracts (e.g. for quality of service, security, and distribution of information) and to provide services based on them is therefore one of the most pressing needs to make collaborations a reality. High-level models of contracts are slowly making their way into service-oriented architectures, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded just before service provision. At the programming language level, contracts appear as separate concerns that crosscut through application logic. The aim of this workshop is to bring together researchersand practitioners working on language-based solutions to the above problem through the formalization of contracts,the design of appropriate abstraction mechanisms that would guide the developer in the production ofcontract-aware applications, and formal analysis of such contract languages/software.IMPORTANT DATES Paper Submission Deadline: September 3, 2007Notification of Acceptance: September 15, 2007Registration for authors closes: September 25, 2007WORKSHOP: October 9-10, 2007FLACOS'07 is partially supported by the Nordunet3 project "Contract-OrientedSoftware Development for Internet Services". SCOPETypical topics of the workshop include (but are not limited to):* Formal languages for contracts* Contract-oriented software development* Formal analysis of contracts, including static analysis, run-time verification, and model checking techniques * Contract synthesis* Contract transformation and contract refinement* Contract negotiation, discovery and monitoringINVITED PARTICIPANTS* Gilles Barthe (INRIA Sophia-Antipolis, France)* Frank S. de Boer (CWI, The Netherlands)* John-Jules Ch. Meyer (Utrecht University,The Netherlands) - To be confirmed* Marek Sergot (Imperial College, UK) * More to be announced.SUBMISSIONSAuthors wishing to give a talk at the workshop are requested to submit anabstract of 1-3 pages (ps or pdf, printable on A4 paper) to flacos-07@ifi.uio.no by September 3,2007. Submission of work submitted for formal publication elsewhere and work in progress is permitted.The abstracts of the accepted contributions will be available at theworkshop.After the workshop, selected papers will be published in a special issue of the Journal of Logic and Algebraic Programming (Elsevier) together withselected publications from NWPT'07. REGISTRATION INFORMATION* More information to follow. PROGRAMME COMMITTEE* Pablo Giambiagi, SICS, Sweden* Olaf Owe, University of Oslo, Norway* Anders P. Ravn, Aalborg University, Denmark* Gerardo Schneider, University of Oslo, Norway ORGANIZING COMMITTEEOlaf Owe, and Gerardo Schneider. CONTACT INFORMATION* flacos-07@ifi.uio.no RELATED EVENTS* FLACOS'07 will be co-located with NWPT'07.
- Index(es):