Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
---------------------------------------------------------------------------=----------- Call For Papers Workshop on Logics for Resources, Processes and Programs (LRPP 2013) 16 September 2013, Nancy, France (affiliated with Tableaux 2013, Nancy, France) http://www.loria.fr/~galmiche/LRPP2013.html Deadline: June 24, 2013 ---------------------------------------------------------------------- A one day workshop on `Logics for Resources, Processes, and Programs' will be held the 16th September 2013 in conjunction with the Tableaux Conference in Nancy, France, with D. Galmiche and D. Pym as co-chairs. The purpose of this workshop would be to discuss recent results on logics, including systems formulated in the style of Hoare and Hennessy-Milner, for modelling resources, processes, programs, and their interactions. We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; semantic foundations (e.g., new resource semantics); specification of properties and behaviours; verification and analysis of programs and systems. It should help to establish and publicize a research agenda for such logics and their use in the development of trusted systems. The workshop is intended to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification. Topics of interest include, but are not restricted to, the following: - Logics for resources: semantics, model theory and proof theory; - Process calculi, concurrency, and resource-distribution; - Reasoning about programs and systems; - Extensions of logics; e.g., with modalities; - Languages of assertions, languages based on resource logics (query languages, pointers, trees, and graphs); - Theorem proving and model checking in resource logics: decision procedures, strategies, complexity results. INVITED SPEAKER Edmund Robinson, QMUL SUBMISSIONS Researchers interested in presenting their works are invited to send an extended abstract (up to 10 pages) by e-mail submissions of PDF files to D. Galmiche (Didier.Galmiche@loria.fr) and D. Pym (d.j.pym@abdn.ac.uk) by June 24, 2013. Papers will be reviewed by peers, typically members of the Programme Committee. Additional information will be available through WWW address: http://www.loria.fr/~galmiche/LRPP2013.html. Hardcopies of the preliminary proceedings will be distributed at the workshop and a Special Issue of a Journal on these topics is expected after the workshop. PROGRAM COMMITTEE J. Brotherston (University College, London, UK) M. Collinson (University of Aberdeen, Scotland) D. Galmiche (LORIA - UL, Nancy, France - co-chair) J. Harland (RMIT University, Melbourne, Australia) M. Hennessy (Trinity College, Dublin, Ireland) G. McCusker (University of Bath, UK) D. Méry (LORIA - UL, Nancy, France) D. Pym (University of Aberdeen, Scotland - co-chair) P. Schroeder-Heister (Tubingen University, Germany) IMPORTANT DATES Submissions: June 24, 2013 Notifications: July 5, 2013 Workshop date: September 16, 2013 MORE INFORMATION E-mail: Didier.Galmiche@loria.fr and d.j.pym@abdn.ac.uk The University of Aberdeen is a charity registered in Scotland, No SC013683. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
http://www.sciencenews.org/view/generic/id/350567/description/One_of_the_mos... Perhaps the above article is more good than harm. Ross www.math.mq.edu.au/~street [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
On 05/06/13 21:28, Ross Street wrote:
http://www.sciencenews.org/view/generic/id/350567/description/One_of_the_mos...
Perhaps the above article is more good than harm.
Ross www.math.mq.edu.au/~street
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
I just read the article. It seems to me that it is empty marketing. But, anyway, marketing has been extensively used in mathematics, to witness, Thom's theory of catastrophes (hiding that there was good mathematics underneath). e.d. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
On Thu, 06 Jun 2013 09:26:15 AM EDT Ross Street <ross.street@mq.edu.au> wrote:
http://www.sciencenews.org/view/generic/id/350567/description/One_of_the_mos...
Perhaps the above article is more good than harm.
Over the years, author Julie Rehmeyer has given birth to quite a litter, http://www.sciencenews.org/view/authored/id/43/name/Julie_Rehmeyer , of mathematically literate news articles, including, for example, a report on the claim of "Vinay Deolalikar, a computer scientist at Hewlett Packard labs in India, [who] sent an email on August 7 [of the year 2010] to a few top researchers claiming that P doesn’t equal NP" -- cf.: http://www.sciencenews.org/view/generic/id/63252/description/Crowdsourcing_p... The piece you point to strikes me as quite reasonable, actually, apart from the two pairs of paragraphs reporting on the ... umm ... thinking (?) of Messrs. Harper and Spivak, which strike me as being probably accurate depictions of their own cockeyed cocktail-party gibberish. [But then, what do I know? I'm just a retiree from tiny little Wesleyan, after all, not an active respected member of Carnegie Mellon or MIT :-) .] But all the rest is about as close to the mark as a discussion pitched to the interested and sympathetic layperson can possibly be. Cheers, and thanks for pointing that piece out, -- Fred [For admin and other information see: http://www.mta.ca/~cat-dist/ ]
This brings up one of my hobby-horses, that the virtues of abstraction are not marketed, even to mathematics students. After I gave a presentation to teachers and pupils on knots, including prime knots, in 1987 or so a teacher came up to me and said: "That is the first time in my mathematical career that anyone has used the term `analogy' in relation to mathematics!" Who is responsible for this? Of course *abstraction* is about *analogies*. I will comment this on the given web site, but my registration awaits approval. The word `analogy' does occur 9 times in Spivak's book, but not I think with this force. Tim and I have a paper: `Category Theory: an abstract setting for analogy and comparison', In: What is Category Theory? Advanced Studies in Mathematics and Logic, Polimetrica Publisher, Italy, (2006) 257-274. ([141] on my publication list. pdf available) The other side to category theory is that is has stimulated the development of new algebraic/mathematical structures. Ronnie On 06/06/2013 16:46, Eduardo J. Dubuc wrote:
On 05/06/13 21:28, Ross Street wrote:
http://www.sciencenews.org/view/generic/id/350567/description/One_of_the_mos...
Perhaps the above article is more good than harm.
Ross www.math.mq.edu.au/~street
I just read the article. It seems to me that it is empty marketing. But, anyway, marketing has been extensively used in mathematics, to witness, Thom's theory of catastrophes (hiding that there was good mathematics underneath).
e.d.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
From Rehmeyer's article: "It?s even proving valuable in developing rigorous models of music theory." " 'If people adopt the level of rigor of category theory,' [Spivak] says, 'it will provide a precise language for science as a whole, and it will help individual scientists to clarify their thinking.' " I don't know what "rigor" is, but if we identify it with consistency then there is a limit to the rigor of category theory: Goedel's second incompleteness theorem shows that category theory cannot be rigorous enough to establish its own rigor. Vaughan On 6/5/2013 5:28 PM, Ross Street wrote:
http://www.sciencenews.org/view/generic/id/350567/description/One_of_the_mos...
Perhaps the above article is more good than harm.
Ross www.math.mq.edu.au/~street
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
participants (6)
-
Eduardo J. Dubuc -
Fred E.J. Linton -
Pym, Professor David J. -
Ronnie Brown -
Ross Street -
Vaughan Pratt