From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3HIhWL2020635 for ; Sun, 17 Apr 2011 20:43:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqgAAJ0zq02GZAlGe2dsb2JhbACmBRQBARYmBSCGVoISuiCFcQSReIk/ X-IronPort-AV: E=Sophos;i="4.64,228,1301868000"; d="p7s'?scan'208";a="93324116" Received: from mailhost.informatik.uni-hamburg.de ([134.100.9.70]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Apr 2011 20:43:26 +0200 Received: from localhost (localhost [127.0.0.1]) by mailhost.informatik.uni-hamburg.de (Postfix) with ESMTP id 0FB7445D; Sun, 17 Apr 2011 20:43:21 +0200 (CEST) X-Virus-Scanned: amavisd-new at informatik.uni-hamburg.de Received: from mailhost.informatik.uni-hamburg.de ([127.0.0.1]) by localhost (mailhost.informatik.uni-hamburg.de [127.0.0.1]) (amavisd-new, port 10024) with LMTP id BiNQ3pRZZBnS; Sun, 17 Apr 2011 20:43:12 +0200 (CEST) Received: from [192.168.1.33] (hmbg-5f77fae7.pool.mediaWays.net [95.119.250.231]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (Client did not present a certificate) (Authenticated sender: koehler) by mailhost.informatik.uni-hamburg.de (Postfix) with ESMTPSA id 2DFBA43D; Sun, 17 Apr 2011 20:41:42 +0200 (CEST) Mime-Version: 1.0 (Apple Message framework v1084) Content-Type: multipart/signed; boundary=Apple-Mail-5-488470098; protocol="application/pkcs7-signature"; micalg=sha1 From: =?iso-8859-1?Q?=22Dr=2E_Michael_K=F6hler-Bussmeier=22?= In-Reply-To: <4D944E98.2070808@cs.unibo.it> Date: Sun, 17 Apr 2011 20:41:40 +0200 Message-Id: References: <48DCACFE.6000908@cs.unibo.it> <4D6D2C63.2030201@cs.unibo.it> <4D944E98.2070808@cs.unibo.it> To: it-moca-announce@lists.uu.se, petrinet@informatik.uni-hamburg.de, agents@cs.umbc.edu, aiia@di.unito.it, appsem@disi.unige.it, behavior@cs.ucsd.edu, cmcs@cs.indiana.edu, coalgebras@iti.cs.tu-bs.de, comlab@comlab.ox.ac.uk, concurrency@cwi.nl, Concurrency@listserver.tue.nl, csl@dbai.tuwien.ac.at, dbworld@cs.wisc.edu, dipartimento@di.unipi.it, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eatcs-it-l@unifi.it, etalle@cs.utwente.nl, focs@comlab.ox.ac.uk, FMxSOCandBPM@cs.unibo.it, formal-methods@cs.uidaho.edu, generative@rz.tu-ilmenau.de, gragra@i3.informatik.rwth-aachen.de, grin@di.unipi.it, gulp-all@yahoogroups.com, hise-safety-critical@minster.cs.york.ac.uk, ic.eatcs@di.unipi.it, idss@socs.uts.EDU.AU, ifip@ifip.or.at, ifmsig@cs.tcd.ie, lics@informatik.hu-berlin.de, lics@research.att.com, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, m4m@science.uva.nl, maude-users@dcs-cpanel1.cs.illinois.edu, members@fmeurope.org, moca-announce@list.it.uu.se, nvti-list@cwi.nl, oose@uni-paderborn.de, qed@mcs.anl.gov, resist@laas.fr, rewriting@ens-lyon.fr, SECURITY@FOSAD.ORG, sensoria-core@di.unipi.it, Sensoria@lists.tcs.ifi.lmu.de, seworld@cs.colorado.edu, stimdi-rek-subscribe@yahoogroups.com, theory-a@listserv.nodak.edu, theory@brics.dk, theory@cl.cam.ac.uk, theory@cs.bham.ac.uk, theorynt@listserv.nodak.edu, tocai@dis.uniroma1.it, types-announce@lists.seas.upenn.edu, pvs@csl.sri.com, haskell@haskell.org, concurrency@tue.nl, ecoop-info@ecoop.org, lprolog@cs.umn.edu, papm@inf.ed.ac.uk, categories@mta.ca, caml-list@inria.fr X-Mailer: Apple Mail (2.1084) X-Validation-by: koehler@informatik.uni-hamburg.de Subject: [Caml-list] LAM'11: 2nd Call for Paper --Apple-Mail-5-488470098 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 Apologies for cross-postings. *** 2nd CALL FOR PAPERS *** 4th International Workshop on LOGICS, AGENTS, and MOBILITY (LAM'11), 10 September 2011, Aachen, Germany, organised as satellite workshop at the Twenty-Second=20 International Conference on CONCURRENCY THEORY (CONCUR 2011). Organisers: Berndt M=FCller (Farwer), University of Glamorgan Michael K=F6hler-Bussmeier, University of Hamburg Workshop Homepage: http://web.me.com/farwer/LAM11 *Important Dates * Submission Deadline: June 13, 2011 Notification: July 21, 2011 Final Version: August 17, 2011 Workshop: 10 Sept 2011 * Workshop Purpose * The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems. Many notions used in the theory of agents are derived from philosophy, logics, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. The workshop intends to encourage discussion and work across the boundaries of the traditional disciplines. Outside of academia, distributed systems are a reality and agent programming is beginning established itself as a serious contender against more traditional programming paradigms. For example, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) raises a number of scientific and technological challenges for the modelling and programming of such large-scale, open and highly-dynamic distributed systems.=20 Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and verification of mobile agent systems. In the past two or three years, some logics have been proposed that would be able to handle certain aspects of these requirements, but there are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in the areas outlined above with a focus on logics and other formalisms for the specification and verification of dynamic, mobile systems. * Scope of Interest * The main topics of interest include - specification and reasoning about agents, MAS, and mobile systems - modal and temporal logics - model-checking=20 - treatment of location and resources in logics - security - type systems and static analysis - logic programming - concurrency theory with a focus on mobility or dynamics in agent systems. * Previous Workshops * LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany=20 LAM'09: 10 August 2009 at LICS in Los Angeles, USA LAM'10: 15 July 2010 at LICS in Edinburgh, Scotland, UK * Format of the Workshop * The workshop will be held as a one day event after the main conference. There will be a short introduction and brief survey of the field by the organisers as an introduction to the workshop. The workshop will contain invited talks, contributed talks, and a=20 discussion session. The latter is will give the participants a=20 chance to discuss informally research directions, open problems, and=20 possible co-operations. * Invited Speakers * [To be announced.] * Submission details * Authors are invited to submit a full paper of original work in the areas mentioned above. The workshop chair should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper will be expected to present it at the LAM'11 workshop. Submissions should not exceed 15 pages, preferably using the LaTeX article.sty class. The following formats are accepted: PDF, PS. Please send your submission electronically via EasyChair: http://www.easychair.org/conferences/?conf=3Dlam11 The submissions will be reviewed by the workshop's program committee and ad= ditional reviewers.=20 Accepted papers will appear in electronic proceedings and authors=20 will be encouraged to re-submit papers to formal proceedings to=20 be published as a separate publication, e.g. as a special journal issue. -- Vertr.-Prof. PD Dr. Michael K=F6hler-Bu=DFmeier=20 University of Hamburg, Department for Informatics Group: Theoretical Foundations of Informatics http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/ --Apple-Mail-5-488470098 Content-Disposition: attachment; filename=smime.p7s Content-Type: application/pkcs7-signature; name=smime.p7s Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEH AQAAoIIDmzCCA5cwggJ/oAMCAQICAQEwCwYJKoZIhvcNAQEFMGMxIjAgBgNV BAMMGU1pY2hhZWwgS8O2aGxlci1CdcOfbWVpZXIxCzAJBgNVBAYTAkRFMTAw LgYJKoZIhvcNAQkBFiFrb2VobGVyQGluZm9ybWF0aWsudW5pLWhhbWJ1cmcu ZGUwHhcNMTAwMTMwMTIzNDU1WhcNMTEwMTMwMTIzNDU1WjBjMSIwIAYDVQQD DBlNaWNoYWVsIEvDtmhsZXItQnXDn21laWVyMQswCQYDVQQGEwJERTEwMC4G CSqGSIb3DQEJARYha29laGxlckBpbmZvcm1hdGlrLnVuaS1oYW1idXJnLmRl MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAxaFGNUFMnL1bcOOM BMvPewtFQpuy+JY5mp0009mR2zCd9qI4hLhCekpb17VvhmMvYUaSN0Xxk6+a 702a39QphD059QP61pSAF7L6hA7fluk8IwgfbvcRTJ6euNJ6vnq53LV2I/QB ux1q3UfErfFQIdu+t38GGUkQPytSspSdwBHwW6EYNU1hlowzFaZNeHvHgL5l TM9WgHHmKh8y7tVTGVIhFR56dhKRz6WUzHAaDE3t3O1mrM3zTYHgwWEX3nAm qcfIUzW6+KZe+qC7rG1DtZF3+cui2mRdqzFOg9t3FP9T7SlihE0UM2WK23n0 ZZpl/Zn8HX5/RUdSSUCPys6pYQIDAQABo1gwVjAOBgNVHQ8BAf8EBAMCB4Aw FgYDVR0lAQH/BAwwCgYIKwYBBQUHAwQwLAYDVR0RBCUwI4Eha29laGxlckBp bmZvcm1hdGlrLnVuaS1oYW1idXJnLmRlMA0GCSqGSIb3DQEBBQUAA4IBAQDF TSz502nyx8qKmpDjXgOpBusLUZocqDYCYfMkb+3qCLmKkFFbSc/P19Ql1a4A e33nZ4BYgNXPa+gtBOfO2lPJ7qHnsjEdneRF6k4gNIg/UeVpeKxvWUDkVRlv 0h8tDYiufKKFtAw7e6G7bmL6RttD+GyTEhC//6OI5jTuE1W1chKppPNkNDwd l4UZy8wyFcSlxkLJB3/eUOn5wX/qveNn03EJNpDAiOJzVg7dJlGHL8SztWI9 PpM2HY8GvdqjhpH5jqwZplKwTExZErJ0KKiNOke4UvbFNNcKIwY7cnbo8VHx 33rWB8cpyv2oRmx81feSPFHZfExrkY6NYHF/vnBQMYIC5DCCAuACAQEwaDBj MSIwIAYDVQQDDBlNaWNoYWVsIEvDtmhsZXItQnXDn21laWVyMQswCQYDVQQG EwJERTEwMC4GCSqGSIb3DQEJARYha29laGxlckBpbmZvcm1hdGlrLnVuaS1o YW1idXJnLmRlAgEBMAkGBSsOAwIaBQCgggFRMBgGCSqGSIb3DQEJAzELBgkq hkiG9w0BBwEwHAYJKoZIhvcNAQkFMQ8XDTExMDQxNzE4NDE0MVowIwYJKoZI hvcNAQkEMRYEFNb3B4A0Dys1PiukUNhVdG4MG3JPMHcGCSsGAQQBgjcQBDFq MGgwYzEiMCAGA1UEAwwZTWljaGFlbCBLw7ZobGVyLUJ1w59tZWllcjELMAkG A1UEBhMCREUxMDAuBgkqhkiG9w0BCQEWIWtvZWhsZXJAaW5mb3JtYXRpay51 bmktaGFtYnVyZy5kZQIBATB5BgsqhkiG9w0BCRACCzFqoGgwYzEiMCAGA1UE AwwZTWljaGFlbCBLw7ZobGVyLUJ1w59tZWllcjELMAkGA1UEBhMCREUxMDAu BgkqhkiG9w0BCQEWIWtvZWhsZXJAaW5mb3JtYXRpay51bmktaGFtYnVyZy5k ZQIBATANBgkqhkiG9w0BAQEFAASCAQB78c9NjVAsw/KQ587Y3dwS3yyD6BBe wj9J9Z/yU0g3KQLUGQUqeV7xD01n9v691RIHBj57oF7JIs9LHrXxVyAek38S aaoEqBMfysFlkXHZyyQxKsCz0N1KL+6uZlHu8e+cy+/5MfHfvZK8G9/IGzjS TKGZljYgz5Qz6a5v6BjOs88/7ZvvJjn2VQTHWPOGG1pCAmDMFYGr26PiFfdv MIg894Ga/1RB2/3TAB6QFI3adQEeWyVhgGknhtghvmOp91WII6r/sphhUjxh eQv5mFC95pDu+9dTGsC5Zk/coYY4+ZAYO62fJgikG4GoqF69PEoSqAS+A8lu AT8JHgxQw0jrAAAAAAAA --Apple-Mail-5-488470098--