Re: [Caml-list] CiE 2014: Language, Life, Limits. Call for Papers (fwd)

Re: [Caml-list] CiE 2014: Language, Life, Limits. Call for Papers (fwd)

[Biomednews]

[-- Attachment #1: Type: text/plain, Size: 14267 bytes --]

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 press release 
distribution service.

The good news is that our Medical E-News Daily™ (Email News Service) -- a 
very focused, news release distribution service -- can announce your 
important event directly to key company executives and physicians throughout the US, 
Canada, EU/EC and PacRim. Based in Irvine CA, we have 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 universities like Columbia 
Univ, Cornell Univ Weill Medical College, Duke Univ, Florida State Univ, George 
Washington Univ Ctr for Intl Health, Johns Hopkins Univ, Penn State Univ, 
Stanford Univ, Tufts Univ, Univ of Maryland, Univ of Memphis, Univ of Miami, 
Univ of Vermont, USC, UCLA, UC Berkeley, UC Irvine, UC San Diego, Virginia 
Tech, plus hundreds of key medical associations.

It is a more cost-effective, marketing/PR B2B solution, than the wire 
services or in-house lists. Your professionally-edited & polished release would 
be received worldwide in dozens of key medical sectors -- so you don’t 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 
used in each press release that we transmit for our industry-leading Medical 
E-News Daily™ (Email News Service), now in its 13th year. 
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: 
include your logo or conference banner and hyperlink in our monthly Calendar 
Newsletter ($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 
distribution, or for including all medical industry sectors.

Our current best package deal is: 1 press release transmittal for a base 
price of only $499 (reg. $800):

http://www.biomedical-market-news.com/cgi-local/SoftCart.exe/online-store/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, 
universities and corporate meeting planners use our press release service -- because 
it provides a more timely and focused call-to-action. With our proactive 
"push" service, each announcement arrives directly into a key contact’s email 
inbox. Compare this proactive messaging to wire or online calendar services 
that post only a few lines of text at their website or 3rd party sites. That 
passive, archaic method is less effective, since releases do not land 
directly in front of each key person).
Demographics: http://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 
centers, hospitals, schools of medicine, organ & tissue transplant centers, & 
much more. Each press release transmittal also includes:

• Every FDA-licensed medical product manufacturer & medical establishment 
in the US & Canada
• Those include: cardiology, surgery, orthopedic, biotech, biomed, 
nanotech, device, dialysis, equipment & so on
• Closely related organizations, such as CROs, distributors, pharmacy 
compounders, clinical labs, packagers, molders, sterilizers, regulatory 
consultants & many other vital categories
• Headquarters offices of 3,500 medical associations will receive your 
press release.
• Product distributors, component manufacturers, VCs, and tens of thousands 
of doctors, physicians, surgeons, researchers & hospital staff (all key 
depts)
• All of the medical publications featured in Bacon’s, Oxbridge and other 
directories -- supplemented with over 15,000 specific medical 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 my 
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™
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 “DELETE” in the 
subject line of a return message.
This special offer is for new orders only. It can’t 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 
letter.
 

> 
> ---------- Forwarded message ----------
> Date: Fri, 1 Nov 2013 23:40:44 +0000 (GMT)
> From: CiE Conference Series <cie.conference.series@gmail.com>
> To:  <caml-list@inria.fr>
> Subject: [Caml-list] CiE 2014: Language, Life, Limits.  Call for Papers
> 
> CALL FOR PAPERS:
> 
>                   CiE 2014: Language, Life, Limits
> 
>                           Budapest, Hungary
> 
>                          June  23 - 27, 2014
> 
>                      http://cie2014.inf.elte.hu
> 
> 
> IMPORTANT DATES:
> 
> Submission Deadline for LNCS:                   10 January 2014
> Notification of authors:                         3 March 2014
> Deadline for final revisions:                   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  new developments in
> computability and their underlying significance for the real world. 
> Previous
> meetings have taken place in Amsterdam (2005), Swansea (2006), Siena 
> (2007),
> Athens (2008), Heidelberg (2009), Ponte Dalgada (2010), Sofia (2011), 
> Cambridge
> (2012), and Milan (2013).
> 
> The motto of CiE 2014 "Language, Life, Limits" intends to put a special 
> focus on
> relations  between computational linguistics, natural and biological 
> computing,
> and more traditional fields of computability theory.
> 
> This is to be understood in its broadest sense including computational 
> aspects
> 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 
> computation
> arising from such approaches.
> 
> As with previous CiE conferences the allover glueing perspective is to
> strengthen the mutual benefits of analyzing traditional and new 
> computational
> paradigms in their corresponding frameworks both with respect to practical
> applications and a deeper theoretical understanding.
> 
> TUTORIAL SPEAKERS:
> 
> Wolfgang Thomas (RWTH Aachen)
> Peter Grünwald  (CWI, Amsterdam)
> 
> INVITED SPEAKERS:
> 
> Lev Beklemishev           (Steklov Mathematical Institute, Moscow)
> Alessandra Carbone        (Universite Pierre et Marie Curie and CNRS 
> Paris)
> Maribel Fernandez         (King's College London)
> Przemyslaw Prusinkiewicz  (University of Calgary)
> Eva Tardos                (Cornell University)
> Albert Visser             (Utrecht University)
> 
> SPECIAL SESSIONS:
> 
> History and Philosophy of Computing   (organizers: Liesbeth de Mol, 
> Giuseppe
> Primiero)
> Computational Linguistics             (organizers: Maria Dolores 
> Jiménez-López,
> Gábor Prószéky)
> Computability Theory                  (organizers: Karen Lange, Barbara 
> Csima)
> Bio-inspired Computation              (organizers: Marian Gheorghe, Florin
> Manea)
> Online Algorithms                     (organizers: Joan Boyar, Csanád 
> Imreh)
> Complexity in Automata Theory         (organizers: Markus Lohrey, Giovanni
> Pighizzini)
> 
> 
> CiE 2014 conference topics include, but not exclusively:
> 
>        * Admissible sets
>        * Algebraic models of computation
>        * Algorithms
>        * Analog computation
>        * Artificial intelligence
>        * Automata theory
>        * Bioinformatics and Bio-inspired computation
>        * Bounded arithmetic
>        * Classical computability and degree structures
>        * Cognitive science and modelling
>        * Complexity classes
>        * Computability theoretic aspects of programs
>        * Computable analysis and real computation
>        * Computable structures and models
>        * Computational and proof complexity
>        * Computational biology
>        * Computational creativity
>        * Computational learning and complexity
>        * Computational linguistics
>        * Concurrency and distributed computation
>        * Constructive mathematics
>        * Cryptographic complexity
>        * Decidability of theories
>        * Derandomization
>        * DNA computing
>        * Domain theory and computability
>        * Dynamical systems and computational models
>        * Effective descriptive set theory
>        * Emerging and non-standard models of computation
>        * Finite model theory
>        * Formal aspects of program analysis
>        * Formal methods
>        * Foundations of computer science
>        * Games
>        * Generalized recursion theory
>        * History of computation
>        * Hybrid systems
>        * Higher type computability
>        * Hypercomputational models
>        * Infinite time Turing machines
>        * Kolmogorov complexity
>        * Lambda and combinatory calculi
>        * L-systems and membrane computation
>        * Machine learning
>        * Mathematical models of emergence
>        * Membrane computing
>        * Molecular computation
>        * Morphogenesis and developmental biology
>        * Multi-agent systems
>        * Natural computation
>        * Neural nets and connectionist models
>        * Philosophy of science and computation
>        * Physics and computability
>        * Probabilistic systems
>        * Process algebras and concurrent systems
>        * Programming language semantics
>        * Proof mining and applications
>        * Proof theory and computability
>        * Proof complexity
>        * Quantum computing and complexity
>        * Randomness
>        * Reducibilities and relative computation
>        * Relativistic computation
>        * Reverse mathematics
>        * Semantics and logic of computation
>        * Swarm intelligence and self-organisation
>        * Type systems and type theory
>        * Uncertain reasoning
>        * Weak systems of arithmetic and applications
> 
> 
> We particularly welcome submissions in emergent areas, such as 
> bioinformatics
> and natural computation, where they have a basic connection with 
> computability.
> 
> Contributed papers will be selected from submissions received by the
> PROGRAM COMMITTEE consisting of:
> 
> 
> * Gerard Alberts (Amsterdam)          * Sandra Alves (Porto)
> * Hajnal Andréka (Budapest)           * Luís Antunes (Porto)
> * Arnold Beckmann (Swansea)           * Laurent Bienvenu (Paris)
> * Paola Bonizzoni (Milan)             * Olivier Bournez (Palaiseau)
> * Vasco Brattka (Munich)              * Bruno Codenotti (Pisa)
> * Barry Cooper (Leeds)                * Erzsébet Csuhaj-Varjú (Budapest,
> co-chair)
> * Michael J. Dinneen (Auckland)       * Erich Grädel (Aachen)
> * Marie Hicks (Chicago IL)            * Natasha Jonoska (Tampa FL)
> * Jarkko Kari (Turku)                 * Elham Kashefi (Edinburgh)
> * Viv Kendon (Leeds)                  * Satoshi Kobayashi (Tokyo)
> * András Kornai (Budapest)            * Marcus Kracht (Bielefeld)
> * Benedikt Löwe (Amsterdam & Hamburg) * Klaus Meer (Cottbus, co-chair)
> * Joseph R. Mileti (Grinnell IA)      * Georg Moser (Innsbruck)
> * Benedek Nagy (Debrecen)             * Sara Negri (Helsinki)
> * Thomas Schwentick (Dortmund)        * Neil Thapen (Prague)
> * Peter van Emde Boas (Amsterdam)     * Xizhong Zheng (Glenside 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=cie2014 is 
> 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ébet Csuhaj-Varjú    csuhaj@inf.elte.hu
> Website: http://cie2014.inf.elte.hu/
> 
> --
> Caml-list mailing list.  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

[-- Attachment #2: Type: text/html, Size: 16975 bytes --]