From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id E12777EE4E for ; Mon, 18 Nov 2013 21:45:08 +0100 (CET) Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Biomednews@aol.com designates 64.12.143.82 as permitted sender) identity=pra; client-ip=64.12.143.82; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Biomednews@aol.com"; x-sender="Biomednews@aol.com"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Biomednews@aol.com designates 64.12.143.82 as permitted sender) identity=mailfrom; client-ip=64.12.143.82; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Biomednews@aol.com"; x-sender="Biomednews@aol.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@omr-m09.mx.aol.com) identity=helo; client-ip=64.12.143.82; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Biomednews@aol.com"; x-sender="postmaster@omr-m09.mx.aol.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmMDAC97ilJADI9SnGdsb2JhbAAYPgODP1OCdahfgQWSXIEhFg4BAQEBAQYNCQkUKIIlASADBh0BAQcMEQIFAQEDCBgCEQMBAg4TCgIjJAoPEhICBQEBh1MBAw8Nk3xPmmh2g1wBBYQ4AUoDCok5EQaMc4EfCwkFAwGBCgoVAQ0QC4JagUaJRYpsgXeCNWWLJoh+gVM5 X-IPAS-Result: AmMDAC97ilJADI9SnGdsb2JhbAAYPgODP1OCdahfgQWSXIEhFg4BAQEBAQYNCQkUKIIlASADBh0BAQcMEQIFAQEDCBgCEQMBAg4TCgIjJAoPEhICBQEBh1MBAw8Nk3xPmmh2g1wBBYQ4AUoDCok5EQaMc4EfCwkFAwGBCgoVAQ0QC4JagUaJRYpsgXeCNWWLJoh+gVM5 X-IronPort-AV: E=Sophos;i="4.93,726,1378850400"; d="scan'208,217";a="36277278" Received: from omr-m09.mx.aol.com ([64.12.143.82]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 18 Nov 2013 21:45:06 +0100 Received: from mtaomg-mb04.r1000.mx.aol.com (mtaomg-mb04.r1000.mx.aol.com [172.29.41.75]) by omr-m09.mx.aol.com (Outbound Mail Relay) with ESMTP id DC97270150C17; Mon, 18 Nov 2013 15:45:04 -0500 (EST) Received: from core-dhe001b.r1000.mail.aol.com (core-dhe001.r1000.mail.aol.com [172.29.209.193]) by mtaomg-mb04.r1000.mx.aol.com (OMAG/Core Interface) with ESMTP id 1D4E4E000082; Mon, 18 Nov 2013 15:45:04 -0500 (EST) From: Biomednews@aol.com Full-name: Biomednews Message-ID: Date: Mon, 18 Nov 2013 15:45:03 -0500 (EST) To: rtomek@ceti.pl, csuhaj@inf.elte.hu, info@postbiota.org, caml-list@inria.fr, cie.conference.series@gmail.com, biomed@postbiota.org MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_fb1c.7895691b.3fbbd64f_boundary" X-Mailer: Thunderbird - Mac OS X sub 310 X-Originating-IP: [76.169.171.194] x-aol-global-disposition: G DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mx.aol.com; s=20121107; t=1384807504; bh=g3RArUhGliO/kIZQ5j5ktncuj2xUZ+rVnnh4Cjctc4s=; h=From:To:Subject:Message-ID:Date:MIME-Version:Content-Type; b=jycM2WoB8PUUR0YOT5P+GnCc7jICj5N7W6Jw4XqNEqUUSuVEUym2pQB9IP7a9vFu4 LKDhM7pwX+41Yp2veb+40frGeshBzUH6KLA8Oz8rjZEKB9B9Sa3ENI4UpZIFce33iW /ML0qWq9k85YRJVFpdmlGz0AK8wR0ay3di+ocm4E= x-aol-sid: 3039ac1d294b528a7c5054f3 X-Validation-by: biomednews@aol.com Subject: Re: [Caml-list] =?ISO-8859-1?Q?CiE_2014=3A_Language=2C_Life=2C_Li?= =?ISO-8859-1?Q?mits=2E=A0_Call_for_Papers_=28fwd=29?= --part1_fb1c.7895691b.3fbbd64f_boundary Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Content-Language: en Nov 18 2013 We would like to invite you to also transmit your press releases (see copy= =20 below) with our medical industry-specific yet inexpensive press release=20 distribution service. The good news is that our Medical E-News Daily=E2=84=A2 (Email News Service= ) -- a=20 very focused, news release distribution service -- can announce your=20 important event directly to key company executives and physicians throughou= t the US,=20 Canada, EU/EC and PacRim. Based in Irvine CA, we have served clients such= =20 as Harvard Univ School of Public Health, Larry King Foundation, Mayo Clinic= ,=20 Michael J Fox Foundation for Parkinson's Research, MIT, Mt Sinai School of= =20 Medicine, New York Stem Cell Foundation, major universities like Columbia= =20 Univ, Cornell Univ Weill Medical College, Duke Univ, Florida State Univ, Ge= orge=20 Washington Univ Ctr for Intl Health, Johns Hopkins Univ, Penn State Univ,= =20 Stanford Univ, Tufts Univ, Univ of Maryland, Univ of Memphis, Univ of Miami= ,=20 Univ of Vermont, USC, UCLA, UC Berkeley, UC Irvine, UC San Diego, Virginia= =20 Tech, plus hundreds of key medical associations. It is a more cost-effective, marketing/PR B2B solution, than the wire=20 services or in-house lists. Your professionally-edited & polished release w= ould=20 be received worldwide in dozens of key medical sectors -- so you don=E2=80= =99t have=20 to rent separate, expensive lists, or purchase pricey special wire service= =20 circuits. We will also post at our website, the logo or conference banner that is=20 used in each press release that we transmit for our industry-leading Medica= l=20 E-News Daily=E2=84=A2 (Email News Service), now in its 13th year.=20 http://www.biomedical-market-news.com/resources.html (The banner is also ho= tlinked back to your=20 website.) And, if you order a new press release before Nov 30 2013, we will also:=20 include your logo or conference banner and hyperlink in our monthly Calenda= r=20 Newsletter ($200 per issue), plus an editorial listing ($149 per listing pe= r=20 issue). Please note there is no additional charge for these items, which are worth= =20 a lot more than the very modest price of each press release. And, there is= =20 no extra charge for over 400 words in your press releases, for nationwide= =20 distribution, or for including all medical industry sectors. Our current best package deal is: 1 press release transmittal for a base=20 price of only $499 (reg. $800): http://www.biomedical-market-news.com/cgi-local/SoftCart.exe/online-store/s= cstore/p-000000000424.html?E+scstore Or, order 2 campaigns for just $979 or 3 campaigns for only $1,399.=20 Many nonprofit medical associations, private and public companies,=20 universities and corporate meeting planners use our press release service -= - because=20 it provides a more timely and focused call-to-action. With our proactive=20 "push" service, each announcement arrives directly into a key contact=E2=80= =99s email=20 inbox. Compare this proactive messaging to wire or online calendar services= =20 that post only a few lines of text at their website or 3rd party sites. Tha= t=20 passive, archaic method is less effective, since releases do not land=20 directly in front of each key person). Demographics:=C2=A0http://www.biomedical-market-news.com/demographics.html Order form: www.biomedical-market-news.com/e-campaigns You can reach thousands of physicians, & all licensed US/Canadian medical= =20 centers, hospitals, schools of medicine, organ & tissue transplant centers,= &=20 much more. Each press release transmittal also includes: =E2=80=A2 Every FDA-licensed medical product manufacturer & medical establi= shment=20 in the US & Canada =E2=80=A2 Those include: cardiology, surgery, orthopedic, biotech, biomed,= =20 nanotech, device, dialysis, equipment & so on =E2=80=A2 Closely related organizations, such as CROs, distributors, pharma= cy=20 compounders, clinical labs, packagers, molders, sterilizers, regulatory=20 consultants & many other vital categories =E2=80=A2 Headquarters offices of 3,500 medical associations will receive y= our=20 press release. =E2=80=A2 Product distributors, component manufacturers, VCs, and tens of t= housands=20 of doctors, physicians, surgeons, researchers & hospital staff (all key=20 depts) =E2=80=A2 All of the medical publications featured in Bacon=E2=80=99s, Oxbr= idge and other=20 directories -- supplemented with over 15,000 specific medical reporters in= =20 over 100 different specialty areas. We look forward to continuing to work together to help market your events,= =20 build your brand and boost registrations. I can be reached at any time on m= y=20 cell with questions: 714-856-3270.=20 As always, you will receive the usual high quality service and attention to= =20 detail. Kind regards Dave Dave Anast Editor/Publisher BMN, Inc. / Medical E-News Daily=E2=84=A2 Irvine CA USA=20 714-856-3270 mobile 714-549-4180 office PR@biomedicalnews.org http://www.biomedicalnews.org Announcing Medical Conferences & News for Over a Decade To remove your address from future mailings, please type =E2=80=9CDELETE=E2= =80=9D in the=20 subject line of a return message. This special offer is for new orders only. It can=E2=80=99t be combined w/o= ther=20 offers, future or previous orders. Releases must be used within 12 months of purchase, or they expire. This offer is NOT posted at our website, and is available only via this=20 letter. =20 >=20 > ---------- Forwarded message ---------- > Date: Fri, 1 Nov 2013 23:40:44 +0000 (GMT) > From: CiE Conference Series > To:=C2=A0 > Subject: [Caml-list] CiE 2014: Language, Life, Limits.=C2=A0 Call for Pap= ers >=20 > CALL FOR PAPERS: >=20 > =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CiE 2014: = Language, Life, Limits >=20 > =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 Budapest, Hungary >=20 > =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0=C2=A0 June=C2=A0 23 - 27, 2014 >=20 > =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2= =A0 http://cie2014.inf.elte.hu >=20 >=20 > IMPORTANT DATES: >=20 > Submission Deadline for LNCS:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0=C2=A0 10 January 2014 > Notification of authors:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 3 March 2014 > Deadline for final revisions:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0=C2=A0 31 March 2014 >=20 >=20 > CiE 2014 is the tenth conference organized by CiE (Computability in=20 > Europe), a > European association of mathematicians, logicians, computer scientists, > philosophers, physicists and others interested in=C2=A0 new developments = in > computability and their underlying significance for the real world.=20 > Previous > meetings have taken place in Amsterdam (2005), Swansea (2006), Siena=20 > (2007), > Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011),=20 > Cambridge > (2012), and Milan (2013). >=20 > The motto of CiE 2014 "Language, Life, Limits" intends to put a special= =20 > focus on > relations=C2=A0 between computational linguistics, natural and biological= =20 > computing, > and more traditional fields of computability theory. >=20 > This is to be understood in its broadest sense including computational=20 > aspects > of problems in linguistics, studying models of computation and algorithms > inspired by physical and biological approaches as well as exhibiting=20 > limits (and > non-limits) of computability when considering different models of=20 > computation > arising from such approaches. >=20 > As with previous CiE conferences the allover glueing perspective is to > strengthen the mutual benefits of analyzing traditional and new=20 > computational > paradigms in their corresponding frameworks both with respect to practical > applications and a deeper theoretical understanding. >=20 > TUTORIAL SPEAKERS: >=20 > Wolfgang Thomas (RWTH Aachen) > Peter Gr=C3=BCnwald=C2=A0 (CWI, Amsterdam) >=20 > INVITED SPEAKERS: >=20 > Lev Beklemishev=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (Steklov Mathemat= ical Institute, Moscow) > Alessandra Carbone=C2=A0 =C2=A0 =C2=A0 =C2=A0 (Universite Pierre et Marie= Curie and CNRS=20 > Paris) > Maribel Fernandez=C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (King's College London) > Przemyslaw Prusinkiewicz=C2=A0 (University of Calgary) > Eva Tardos=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (Cornel= l University) > Albert Visser=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (Utrecht Uni= versity) >=20 > SPECIAL SESSIONS: >=20 > History and Philosophy of Computing=C2=A0=C2=A0 (organizers: Liesbeth de = Mol,=20 > Giuseppe > Primiero) > Computational Linguistics=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 = (organizers: Maria Dolores=20 > Jim=C3=A9nez-L=C3=B3pez, > G=C3=A1bor Pr=C3=B3sz=C3=A9ky) > Computability Theory=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 (organizers: Karen Lange, Barbara=20 > Csima) > Bio-inspired Computation=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = (organizers: Marian Gheorghe, Florin > Manea) > Online Algorithms=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0=C2=A0 (organizers: Joan Boyar, Csan=C3=A1d=20 > Imreh) > Complexity in Automata Theory=C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (organizer= s: Markus Lohrey, Giovanni > Pighizzini) >=20 >=20 > CiE 2014 conference topics include, but not exclusively: >=20 > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Admissible sets > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Algebraic models of computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Algorithms > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Analog computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Artificial intelligence > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Automata theory > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Bioinformatics and Bio-inspired computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Bounded arithmetic > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Classical computability and degree structures > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Cognitive science and modelling > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Complexity classes > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computability theoretic aspects of programs > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computable analysis and real computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computable structures and models > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational and proof complexity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational biology > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational creativity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational learning and complexity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational linguistics > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Concurrency and distributed computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Constructive mathematics > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Cryptographic complexity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Decidability of theories > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Derandomization > =C2=A0 =C2=A0 =C2=A0=C2=A0 * DNA computing > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Domain theory and computability > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Dynamical systems and computational models > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Effective descriptive set theory > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Emerging and non-standard models of computat= ion > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Finite model theory > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Formal aspects of program analysis > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Formal methods > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Foundations of computer science > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Games > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Generalized recursion theory > =C2=A0 =C2=A0 =C2=A0=C2=A0 * History of computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Hybrid systems > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Higher type computability > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Hypercomputational models > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Infinite time Turing machines > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Kolmogorov complexity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Lambda and combinatory calculi > =C2=A0 =C2=A0 =C2=A0=C2=A0 * L-systems and membrane computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Machine learning > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Mathematical models of emergence > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Membrane computing > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Molecular computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Morphogenesis and developmental biology > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Multi-agent systems > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Natural computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Neural nets and connectionist models > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Philosophy of science and computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Physics and computability > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Probabilistic systems > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Process algebras and concurrent systems > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Programming language semantics > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Proof mining and applications > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Proof theory and computability > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Proof complexity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Quantum computing and complexity > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Randomness > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Reducibilities and relative computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Relativistic computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Reverse mathematics > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Semantics and logic of computation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Swarm intelligence and self-organisation > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Type systems and type theory > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Uncertain reasoning > =C2=A0 =C2=A0 =C2=A0=C2=A0 * Weak systems of arithmetic and applications >=20 >=20 > We particularly welcome submissions in emergent areas, such as=20 > bioinformatics > and natural computation, where they have a basic connection with=20 > computability. >=20 > Contributed papers will be selected from submissions received by the > PROGRAM COMMITTEE consisting of: >=20 >=20 > * Gerard Alberts (Amsterdam)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 * Sandra A= lves (Porto) > * Hajnal Andr=C3=A9ka (Budapest)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 = * Lu=C3=ADs Antunes (Porto) > * Arnold Beckmann (Swansea)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 * Lau= rent Bienvenu (Paris) > * Paola Bonizzoni (Milan)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 = * Olivier Bournez (Palaiseau) > * Vasco Brattka (Munich)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = * Bruno Codenotti (Pisa) > * Barry Cooper (Leeds)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 * Erzs=C3=A9bet Csuhaj-Varj=C3=BA (Budapest, > co-chair) > * Michael J. Dinneen (Auckland)=C2=A0 =C2=A0 =C2=A0=C2=A0 * Erich Gr=C3= =A4del (Aachen) > * Marie Hicks (Chicago IL)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 * Nat= asha Jonoska (Tampa FL) > * Jarkko Kari (Turku)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0=C2=A0 * Elham Kashefi (Edinburgh) > * Viv Kendon (Leeds)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 * Satoshi Kobayashi (Tokyo) > * Andr=C3=A1s Kornai (Budapest)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = * Marcus Kracht (Bielefeld) > * Benedikt L=C3=B6we (Amsterdam & Hamburg) * Klaus Meer (Cottbus, co-chai= r) > * Joseph R. Mileti (Grinnell IA)=C2=A0 =C2=A0 =C2=A0 * Georg Moser (Innsb= ruck) > * Benedek Nagy (Debrecen)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 = * Sara Negri (Helsinki) > * Thomas Schwentick (Dortmund)=C2=A0 =C2=A0 =C2=A0 =C2=A0 * Neil Thapen (= Prague) > * Peter van Emde Boas (Amsterdam)=C2=A0 =C2=A0=C2=A0 * Xizhong Zheng (Gle= nside PA) >=20 >=20 > The PROGRAMME COMMITTEE cordially invites all researchers (European and > non-European) in computability related areas to submit their papers (in= =20 > PDF > format, max 10 pages using the LNCS style) for presentation at CiE 2014. >=20 > The submission site https://www.easychair.org/conferences/?conf=3Dcie2014= is=20 > open. >=20 > For submission instructions consult > http://cie2014.inf.elte.hu/?Submission_Instructions >=20 > We particularly invite papers that build bridges between different parts= =20 > of the > research community. >=20 > The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag. >=20 > Contact: Erzs=C3=A9bet Csuhaj-Varj=C3=BA=C2=A0 csuhaj@inf.elte.hu > Website: http://cie2014.inf.elte.hu/ >=20 > -- > Caml-list mailing list.=C2=A0 Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs= --part1_fb1c.7895691b.3fbbd64f_boundary Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Content-Language: en Nov 18  2013

We would like to invite you to also transmit your press releases (see copy = below) with our medical industry-specific yet inexpensive<= FONT COLOR=3D"#000000" FACE=3D"Arial" FAMILY=3D"SANSSERIF" SIZE=3D"2"> pres= s release distribution service.

The good news is that our Medical E-News Daily=E2=84=A2 (Email News S= ervice) -- a very focused, news release distribution service -- can = announce your important event directly to key company executives and physic= ians throughout the US, Canada, EU/EC and PacRim. Based in Irvine CA, we ha= ve served clients such as Harvard Univ School of Public Health, Larry King = Foundation, Mayo Clinic, Michael J Fox Foundation for Parkinson's Research,= MIT, Mt Sinai School of Medicine, New York Stem Cell Foundation, major uni= versities like Columbia Univ, Cornell Univ Weill Medical College, Duke Univ= , Florida State Univ, George Washington Univ Ctr for Intl Health, Johns Hop= kins Univ, Penn State Univ, Stanford Univ, Tufts Univ, Univ of Maryland, Un= iv of Memphis, Univ of Miami, Univ of Vermont, USC, UCLA, UC Berkeley, UC I= rvine, UC San Diego, Virginia Tech, plus hundreds of key medical associatio= ns.

It is a more cost-effective, marketing/PR B2B solution, than the wire servi= ces or in-house lists. Your professionally-edited & polished release wo= uld be received worldwide in dozens of key medical sectors -- so you don=E2= =80=99t have to rent separate, expensive lists, or purchase pricey special = wire service circuits.

We will also post at our website, the logo or conference banner that is use= d in each press release that we transmit for our industry-leading Med= ical E-News Daily=E2=84=A2 (Email News Service), now in its 13th yea= r. http://www.biomedical-market-news.com/resources.html (The = banner is also hotlinked back to your website.)

And, if you order a new press release before Nov 30 2013, we will also: inc= lude your logo or conference banner and hyperlink in our monthly Calendar N= ewsletter ($200 per issue), plus an editorial listing ($149 per listing per= issue).

Please note there is no additional charge for these items, which are worth = a lot more than the very modest price of each press release. And, there is = no extra charge for over 400 words in your press releases, for nationwide d= istribution, or for including all medical industry sectors.

Our current best package deal is: 1 press release transmittal for a base pr= ice of only $499 (reg. $800):
http://www.biomedical-market-news.com/cgi-local/SoftCart.exe/online-s= tore/scstore/p-000000000424.html?E+scstore
Or, order 2 campaigns for just $979 or 3 campaigns for only $1,399. =

Many nonprofit medical associations, private and public companies, universi= ties and corporate meeting planners use our press release service -- becaus= e it provides a more timely and focused call-to-action. With our proactive = "push" service, each announcement arrives directly into a key contact=E2=80= =99s email inbox. Compare this proactive messaging to wire or online calend= ar services that post only a few lines of text at their website or 3rd part= y sites. That passive, archaic method is less effective, since releases do = not land directly in front of each key person).
Demographics:=C2=A0http://www.biomedical-market-news.com/demographics= .html
Order form:       www.biomedic= al-market-news.com/e-campaigns

You can reach thousands of physicians, & all licensed US/Canadian medic= al centers, hospitals, schools of medicine, organ & tissue transplant c= enters, & much more. Each press release transmittal also includes:

=E2=80=A2 Every FDA-licensed medical product manufacturer & medical est= ablishment in the US & Canada
=E2=80=A2 Those include: cardiology, surgery, orthopedic, biotech, biomed, = nanotech, device, dialysis, equipment & so on
=E2=80=A2 Closely related organizations, such as CROs, distributors, pharma= cy compounders, clinical labs, packagers, molders, sterilizers, regulatory = consultants & many other vital categories
=E2=80=A2 Headquarters offices of 3,500 medical associations will receive y= our press release.
=E2=80=A2 Product distributors, component manufacturers, VCs, and tens of t= housands of doctors, physicians, surgeons, researchers & hospital staff= (all key depts)
=E2=80=A2 All of the medical publications featured in Bacon=E2=80=99s, Oxbr= idge and other directories -- supplemented with over 15,000 specific medica= l reporters in over 100 different specialty areas.

We look forward to continuing to work together to help market your events, = build your brand and boost registrations. I can be reached at any time on m= y cell with questions: 714-856-3270.
As always, you will receive the usual high quality service and attention to= detail.

Kind regards
Dave

Dave Anast
Editor/Publisher
BMN, Inc. / Medical E-News Daily=E2=84=A2
Irvine CA USA
714-856-3270 mobile
714-549-4180 office
PR@biomedicalnews.org
http://www.biomedicalnews.org
Announcing Medical Conferences & News for Over a Decade
To remove your address from future mailings, please type =E2=80=9CDELETE= =E2=80=9D in the subject line of a return message.
This special offer is for new orders only. It can=E2=80=99t be combined = w/other offers, future or previous orders.
Releases must be used within 12 months of purchase, or they expire.
This offer is NOT posted at our website, and is available only via this let= ter.


---------- Forwarded message ----------
Date: Fri, 1 Nov 2013 23:40:44 +0000 (GMT)
From: CiE Conference Series <cie.conference.series@gmail.com>
To:=C2=A0 <caml-list@inria.fr>
Subject: [Caml-list] CiE 2014: Language, Life, Limits.=C2=A0 Call for Paper= s

CALL FOR PAPERS:

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 CiE 2014: La= nguage, Life, Limits

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 Budapest, Hungary

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0=C2=A0 June=C2=A0 23 - 27, 2014

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0= http://cie2014.inf.elte.hu


IMPORTANT DATES:

Submission Deadline for LNCS:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0=C2=A0 10 January 2014
Notification of authors:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 3 March 2014
Deadline for final revisions:=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0=C2=A0 31 March 2014


CiE 2014 is the tenth conference organized by CiE (Computability in Europe)= , a
European association of mathematicians, logicians, computer scientists,
philosophers, physicists and others interested in=C2=A0 new developments in=
computability and their underlying significance for the real world. Previou= s
meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007)= ,
Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), Cambr= idge
(2012), and Milan (2013).

The motto of CiE 2014 "Language, Life, Limits" intends to put a special foc= us on
relations=C2=A0 between computational linguistics, natural and biological c= omputing,
and more traditional fields of computability theory.

This is to be understood in its broadest sense including computational aspe= cts
of problems in linguistics, studying models of computation and algorithms inspired by physical and biological approaches as well as exhibiting limits= (and
non-limits) of computability when considering different models of computati= on
arising from such approaches.

As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new computation= al
paradigms in their corresponding frameworks both with respect to practical<= BR> applications and a deeper theoretical understanding.

TUTORIAL SPEAKERS:

Wolfgang Thomas (RWTH Aachen)
Peter Gr=C3=BCnwald=C2=A0 (CWI, Amsterdam)

INVITED SPEAKERS:

Lev Beklemishev=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (Steklov Mathematic= al Institute, Moscow)
Alessandra Carbone=C2=A0 =C2=A0 =C2=A0 =C2=A0 (Universite Pierre et Marie C= urie and CNRS Paris)
Maribel Fernandez=C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (King's College London)<= BR> Przemyslaw Prusinkiewicz=C2=A0 (University of Calgary)
Eva Tardos=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (Cornell = University)
Albert Visser=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (Utrecht Unive= rsity)

SPECIAL SESSIONS:

History and Philosophy of Computing=C2=A0=C2=A0 (organizers: Liesbeth de Mo= l, Giuseppe
Primiero)
Computational Linguistics=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (o= rganizers: Maria Dolores Jim=C3=A9nez-L=C3=B3pez,
G=C3=A1bor Pr=C3=B3sz=C3=A9ky)
Computability Theory=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 (organizers: Karen Lange, Barbara Csima)
Bio-inspired Computation=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (o= rganizers: Marian Gheorghe, Florin
Manea)
Online Algorithms=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0=C2=A0 (organizers: Joan Boyar, Csan=C3=A1d Imreh)
Complexity in Automata Theory=C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 (organizers:= Markus Lohrey, Giovanni
Pighizzini)


CiE 2014 conference topics include, but not exclusively:

=C2=A0 =C2=A0 =C2=A0=C2=A0 * Admissible sets
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Algebraic models of computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Algorithms
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Analog computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Artificial intelligence
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Automata theory
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Bioinformatics and Bio-inspired computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Bounded arithmetic
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Classical computability and degree structures<= BR> =C2=A0 =C2=A0 =C2=A0=C2=A0 * Cognitive science and modelling
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Complexity classes
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computability theoretic aspects of programs
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computable analysis and real computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computable structures and models
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational and proof complexity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational biology
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational creativity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational learning and complexity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Computational linguistics
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Concurrency and distributed computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Constructive mathematics
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Cryptographic complexity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Decidability of theories
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Derandomization
=C2=A0 =C2=A0 =C2=A0=C2=A0 * DNA computing
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Domain theory and computability
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Dynamical systems and computational models
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Effective descriptive set theory
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Emerging and non-standard models of computatio= n
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Finite model theory
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Formal aspects of program analysis
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Formal methods
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Foundations of computer science
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Games
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Generalized recursion theory
=C2=A0 =C2=A0 =C2=A0=C2=A0 * History of computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Hybrid systems
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Higher type computability
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Hypercomputational models
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Infinite time Turing machines
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Kolmogorov complexity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Lambda and combinatory calculi
=C2=A0 =C2=A0 =C2=A0=C2=A0 * L-systems and membrane computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Machine learning
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Mathematical models of emergence
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Membrane computing
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Molecular computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Morphogenesis and developmental biology
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Multi-agent systems
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Natural computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Neural nets and connectionist models
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Philosophy of science and computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Physics and computability
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Probabilistic systems
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Process algebras and concurrent systems
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Programming language semantics
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Proof mining and applications
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Proof theory and computability
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Proof complexity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Quantum computing and complexity
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Randomness
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Reducibilities and relative computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Relativistic computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Reverse mathematics
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Semantics and logic of computation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Swarm intelligence and self-organisation
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Type systems and type theory
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Uncertain reasoning
=C2=A0 =C2=A0 =C2=A0=C2=A0 * Weak systems of arithmetic and applications


We particularly welcome submissions in emergent areas, such as bioinformati= cs
and natural computation, where they have a basic connection with computabil= ity.

Contributed papers will be selected from submissions received by the
PROGRAM COMMITTEE consisting of:


* Gerard Alberts (Amsterdam)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 * Sandra Alv= es (Porto)
* Hajnal Andr=C3=A9ka (Budapest)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 * = Lu=C3=ADs Antunes (Porto)
* Arnold Beckmann (Swansea)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 * Laure= nt Bienvenu (Paris)
* Paola Bonizzoni (Milan)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 * = Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 * = Bruno Codenotti (Pisa)
* Barry Cooper (Leeds)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 * Erzs=C3=A9bet Csuhaj-Varj=C3=BA (Budapest,
co-chair)
* Michael J. Dinneen (Auckland)=C2=A0 =C2=A0 =C2=A0=C2=A0 * Erich Gr=C3=A4d= el (Aachen)
* Marie Hicks (Chicago IL)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 * Natas= ha Jonoska (Tampa FL)
* Jarkko Kari (Turku)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0=C2=A0 * Elham Kashefi (Edinburgh)
* Viv Kendon (Leeds)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 * Satoshi Kobayashi (Tokyo)
* Andr=C3=A1s Kornai (Budapest)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 * = Marcus Kracht (Bielefeld)
* Benedikt L=C3=B6we (Amsterdam & Hamburg) * Klaus Meer (Cottbus, co-ch= air)
* Joseph R. Mileti (Grinnell IA)=C2=A0 =C2=A0 =C2=A0 * Georg Moser (Innsbru= ck)
* Benedek Nagy (Debrecen)=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0=C2=A0 * = Sara Negri (Helsinki)
* Thomas Schwentick (Dortmund)=C2=A0 =C2=A0 =C2=A0 =C2=A0 * Neil Thapen (Pr= ague)
* Peter van Emde Boas (Amsterdam)=C2=A0 =C2=A0=C2=A0 * Xizhong Zheng (Glens= ide PA)


The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in PDF=
format, max 10 pages using the LNCS style) for presentation at CiE 2014.

The submission site https://www.easychair.org/conferences/?conf=3Dcie2014 i= s open.

For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions

We particularly invite papers that build bridges between different parts of= the
research community.

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

Contact: Erzs=C3=A9bet Csuhaj-Varj=C3=BA=C2=A0  csuhaj@inf.elte.hu
Website: http://cie2014.inf.elte.hu/

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
= --part1_fb1c.7895691b.3fbbd64f_boundary--