http://blog.gmane.org/gmane.science.mathematics.prooftheory hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.science.mathematics.prooftheory/1071 <pre>-------------------- LAST CALL FOR PAPERS -------------------- Third International Workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013) August 29th to 31st, 2013, Bertinoro, Italy Co-located with WST 2013 http://fopara2013.cs.unibo.it SCOPE The workshop will serve as a forum for presenting original research results that are relevant to the analysis of resource (time, space, and others) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. The following list of topics is non-exhaustive: • resource static analysis for embedded or/and critical systems; • logical and machine-independent characterisations of complexity classes; • logics closely related to complexity classes; • type systems for controlling/inferring/</pre> Ugo Dal Lago 2013-05-21T07:15:51 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1070 <pre>[ Please broadcast/post/forward. Apologies for duplicates] LCC'13 WORKSHOP ANNOUNCEMENT The Fourteenth International Workshop on Logic and Computational Complexity (LCC'11,http://www.cs.swansea.ac.uk/lcc2013/) will be held in Torino on September 6, 2013, as an affiliated meeting of CSL'13 (http://csl13.di.unito.it/). LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. The LCC'13 program will consist of invited lectures as well as selected contributed papers. We welcome informal presentations about work in progress, survey pa</pre> Arnaud Durand 2013-05-17T16:43:42 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1068 <pre>********************************************************************* *** Federated Conference on Rewriting, Deduction, and Programming *** *** RDP 2013 *** *** June 23 - June 28, 2013 *** *** Eindhoven, The Netherlands *** *** http://www.win.tue.nl/rdp2013/ *** *** *** *** CALL FOR PARTICIPATION *** *** *** ********************************************************************* ************* EARLY REGISTRATION CLOSES ON JUNE 1 ************* --------------------------------------------------------------------- </pre> Luca Paolini 2013-05-14T07:53:45 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1067 <pre>---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org ---------------------------------------------------------------------- HOPE 2013 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: st</pre> Hongseok Yang 2013-05-11T21:33:04 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1066 <pre> With short notice we have the pleasure to organize small workshop 60th Parallel Workshop on Constructivism and Proof Theory May 20-21, 2013, Stockholm Organizers: Henrik Forssell and Erik Palmgren The workshop focusses on developments in general constructive methods and results in logic and mathematics. Invited speakers include Benno van den Berg, Utrecht University Douglas S. Bridges, University of Canterbury, New Zealand Eyvind Briseid, Oslo University, 59°55′ North Jan von Plato, Helsinki University, 60°10′ North Sam Sanders, Ghent University Venue: Department of Mathematics, Stockholm University, 59°19′ North Those interested to attend, or to give a talk should contact Henrik Forssell (forssell-AtZWghHxK2bLoDKTGw+V6w&lt; at &gt;public.gmane.org) More information about the workshop will be available on the workshop web page www.math.su.se/~palmgren/parallel60.html</pre> Erik Palmgren 2013-05-10T11:53:35 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1065 <pre>(* Apologies for multiple copies *) ------------------------------------------------------------------- FINAL CALL FOR PAPERS ------------------------------------------------------------------- The 5th International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2013) Part of CICM-2013, at University of Bath, UK 8-12th of July 2013 ------------------------------------------------------------------- Important Dates --------------- * Paper submission: *Mon May 27 2013* * Notification of acceptance: Mon June 10 2013 * Camera ready copy due: Mon June 17 2013 Invited Speakers ----------------- * Conor McBride, University of Strathclyde * Gilles Dowek, INRIA * Edwin Brady, University of St Andrews * Serge Mechveliani, Russian Academy of Science Program Committee ----------------- * David Aspinall, University of Edinburgh, UK * Serge Autexier, DKFI Bremen, Germany * Jacques Carette, McMaster U</pre> Iain Whiteside 2013-05-09T10:37:36 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1064 <pre>The team Logique de la Programmation (LDP) of the Institut de Mathématiques de Luminy (IML) in Marseille, France, is inviting applications for a postdoctoral position in proof theory. Do not hesitate to forward the announcement to anyone interested Context ---------- The team LDP pursues its research mainly in proof theory and theory of computation. In particular, we are currently involved in two national research projects: - The LOGOI project pursues the programme of Geometry of Interaction (GoI), which aims at a reconstruction of logic from interaction as the primitive notion, considered as an abstract counterpart of cut elimination. This programme has started together with linear logic and has evolved since its early days, from the limited case of multiplicatives to recent developments involving the theory of von Neumann algebras and providing a strikingly new perspective on implicit complexity via light logics. - The RECRE project aims at developing a better understanding of the compu</pre> QUATRINI Myriam 2013-05-07T13:05:29 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1063 <pre>[We apologize if you have received multiple copies of this message] ************************************************************************* ------ GandALF 2013 ----- FINAL CALL FOR PAPERS (EXTENDED DEADLINE)----- ************************************************************************** EXTENDED DEADLINES ABSTRACT SUBMISSION: MAY 13, 2013 PAPER SUBMISSION: MAY 19, 2013 4th International Symposium on Games, Automata, Logics, and Formal Verification Borca di Cadore, Dolomites, Italy - August 29th - 31th, 2013 http://gandalf.di.univr.it/ OBJECTIVES The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics i</pre> Pietro Sala 2013-05-07T05:26:31 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1062 <pre>----------------------------------------------------- -------------------------- A Post-Doc position within the ANR project "DynRes" ------------------------------------------------------------------------------- A post-doc position is available at LORIA, Nancy, France in logic, proof theory and semantics, supported by the ANR DynRes project "Dynamic Resources and Separation and Update Logics" held by a group of three teams of researchers of three French laboratories of computer science, the IRIT in Toulouse, the LORIA in Nancy and the LSV in Paris (ENS Cachan). More information on the ANR DynRes is available at &lt;http://anr-dynres.loria.fr&gt; The successful candidate will be working within the TYPES team at LORIA and will have access to the resources of the team through the ANR DynRes. RESEARCH AREA The scientific goal of the project consists in investigating logics that deal with resources and dynamic properties of resources, like for example varia</pre> Didier Galmiche 2013-05-04T09:57:24 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1061 <pre>*********************************************************************** 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013) June 25-28, 2013 (with pre-conference tutorials on June 24) New Orleans, USA Call for Participation http://lii.rwth-aachen.de/lics/lics13/ *********************************************************************** The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science (LICS 2013) will be held in New Orleans in colocation with MFPS (Mathematical Foundations of Programming Semantics) and CSF (IEEE Computer Security Foundations). * DATES: MFPS (June 23-25), LICS (June 25-28), CSF (June 26-28). * REGISTRATION is now open for all three conferences. Please visit http://lii.rwth-aachen.de/lics/lics13/ and follow the link to Registration. The early registration deadline is May 22, 2013. * LICS SCHEDULE - TUTORIALS LICS'13 will kick off with tutorials by Hubert Comon and Jan Rutten (with MFPS) on Monday 24 June. - TECHNICAL PROGRAMME The </pre> Andrzej Murawski 2013-05-02T23:25:20 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1060 <pre>PRELIMINARY CALL FOR PAPERS =========================== Third International Conference on Certified Programs and Proofs (CPP 2013) -------------------------------------------------------------------------- December 2013, Australia (co-located with APLAS 2013) CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. We invite submissions on topics that fit under this rubric. The first two CPP conferences were held in Kenting, Taiwan, and Kyoto, Japan, in December 2011 and 2012, respectively. As with the first meetings, the proceedings will be published in Springer-Verlag’s Lecture Notes in Computer Science series. Suggested, but not exclusive, specific topics of interest for submissions include: certified or certifying p</pre> Alwen Tiu 2013-04-30T02:38:26 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1059 <pre> Dear all, Please spread this information as wide as possible among friends and colleagues, at your old universities and the places, where you currently live and work. Many thanks -- Steffen ******************************************************************************************************* The European Master's Program in Computational Logic We are glad to announce to you the possibility to join our European Master's Program of Computational Logic. This program is offered jointly at the Free-University of Bozen-Bolzano in Italy, the Technische Universität Dresden in Germany, the Universidade Nova de Lisboa in Portugal and the Technische Universität Wien in Austria. Within this program you have the choice to study at two /three of the four European universities. In addition you can do your project work at the National ICT of Australia (NICTA). You will graduate with a MSc in Computer Science and obtain a multiple degree. Information on the universities and the program is provided here: http://www.</pre> Bertram Fronhöfer 2013-04-28T16:18:51 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1058 <pre>[My apologies for cross posting...] ====================================================================== Please consider to contribute to and/or forward to the appropriate groups. The submission deadline for PLS9 has been EXTENDED to Sunday, May 12, 2013. PLS9: Ninth Panhellenic Logic Symposium July 15-19, 2013 National Technical University of Athens, Greece http://pls9.cs.ntua.gr/ </pre> Nikolaos S. Papaspyrou 2013-04-26T21:21:33 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1057 <pre>[We apologize if you have received multiple copies of this message] ************************************************************************* ------ GandALF 2013 ----- FINAL CALL FOR PAPERS ----- ************************************************************************** 4th International Symposium on Games, Automata, Logics, and Formal Verification Borca di Cadore, Dolomites, Italy - August 29th - 31th, 2013 http://gandalf.di.univr.it/ OBJECTIVES The aim of the symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. LI</pre> Pietro Sala 2013-04-24T07:15:39 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1056 <pre>*** The registration deadline for this year's Oregon PL Summer School has been extended to April 30th. This year's Oregon Programming Languages Summer School will take place from July 22nd to August 3rd. Full information on registration and scholarships an be found here: http://www.cs.uoregon.edu/Activities/summerschool The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. A new feature this year is a Coq boot camp session, to be held on July 21st -- one day before the summ</pre> Amal Ahmed 2013-04-17T14:03:49 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1055 <pre>Call for Course and Workshop Proposals ESSLLI 2014 26th European Summer School in Logic, Language and Information Tuebingen, Germany August 11-22, 2014 www.esslli2014.de ------------------------------------------------------------------ IMPORTANT DATES =============== 15 June 2013: Proposal submission deadline 15 September 2013: Notification 1 June 2014: Course material due TOPICS AND FORMAT ================= Proposals for courses and workshops at ESSLLI'2014 are invited in all areas of Logic, Linguistics and Computing and Information Sciences. Cross-disciplinary and innovative topics are particularly encouraged. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses, e.g. as an introductory course followed by an advanced one. In such cases, the ESSLLI program committee reserves the right to accept just one of the two proposal</pre> Frank Veltman 2013-04-14T12:23:52 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1054 <pre>(* Apologies for multiple copies *) ------------------------------------------------------------------- CALL FOR PAPERS ------------------------------------------------------------------- The 5th International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2013) Part of CICM-2013, at University of Bath, UK 8-12th of July 2013 ------------------------------------------------------------------- Important Dates --------------- * Abstract submission: Mon May 6 2013 * Paper submission: Mon May 13 2013 * Notification of acceptance: Mon June 3 2013 * Camera ready copy due: Mon June 10 2013 Program Committee ----------------- * David Aspinall, University of Edinburgh, UK * Serge Autexier, DKFI Bremen, Germany * Jacques Carette, McMaster University, Canada * Claudio Sacerdoti Coen, University of Bologna, Italy * Gudmund Grov, Heriot Watt University, UK * Cezar Ionescu, Potsdam In</pre> Iain Whiteside 2013-04-12T14:14:21 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1053 <pre>Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation and programming language semantics. This often involves profound and surprising connections between different areas of computer science and mathematics. From category theory to ?-calculus and computational effects, from topology to constructive mathematics, from game semantics to program compilation, this is a diverse field of research that continues to provide new insight and underlying structure. See our webpage, with links to individual researchers, here: http://www.cs.bham.ac.uk/research/groupings/theory/ Information about PhD applications may be found here: http://www.cs.bham.ac.uk/admissions/postgraduate-research/ If you are considering applying, please contact any of us. We will be very happy to discuss the opportunities available. Best regards, The Birmingham CS theory group Martin Escardo (top</pre> Paul Levy 2013-04-11T15:45:15 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1052 <pre>====================================================================== PLS9: Ninth Panhellenic Logic Symposium July 15-19, 2013 National Technical University of Athens, Greece http://pls9.cs.ntua.gr/ ====================================================================== IMPORTANT DATES Deadline for submission: Friday, April 26, 2013 Notification: Wednesday, May 15, 2013 Final copy due: Wednesday June 5, 2013 ====================================================================== INVITED TALKS - Alexander Kechris, California Institute of Technology, USA - Phokion Kolaitis, UC Santa Cruz, USA - Manolis Koubarakis, University of Athens - Judy Pehlam, York University, Canada - Dimitris Plexousakis, University of Crete ====================================================================== SECOND CALL FOR PAPERS Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to s</pre> Nikolaos S. Papaspyrou 2013-04-09T12:34:09 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1051 <pre>---------------------------------------------------------------------- CALL FOR TALK PROPOSALS HOPE 2013 The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects September 28, 2013 Boston, Massachusetts (the day after ICFP 2013) http://hope2013.mpi-sws.org ---------------------------------------------------------------------- HOPE 2013 aims at bringing together researchers interested in the design, semantics, implementation, and verification of higher-order effectful programs. It will be *informal*, consisting of invited talks, contributed talks on work in progress, and open-ended discussion sessions. --------------------- Goals of the Workshop --------------------- A recurring theme in many papers at ICFP, and in the research of many ICFP attendees, is the interaction of higher-order programming with various kinds of effects: st</pre> Hongseok Yang 2013-04-04T16:07:43 http://comments.gmane.org/gmane.science.mathematics.prooftheory/1049 <pre>--------------- CALL FOR PAPERS --------------- Third International Workshop on FOUNDATIONAL AND PRACTICAL ASPECTS OF RESOURCE ANALYSIS (FOPARA 2013) August 29th to 31st, 2013, Bertinoro, Italy Co-located with WST 2013 http://fopara2013.cs.unibo.it SCOPE The workshop will serve as a forum for presenting original research results that are relevant to the analysis of resource (time, space, and others) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. The following list of topics is non-exhaustive: • resource static analysis for embedded or/and critical systems; • logical and machine-independent characterisations of complexity classes; • logics closely related to complexity classes; • type systems for controlling/inferring/checking comple</pre> Ugo Dal Lago 2013-03-28T09:14:07 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.science.mathematics.prooftheory