News: arXra -> viXra

Posted 15 Nov 2017 at 21:21 UTC by xerox Share This

Steinn Sigurdsson Appointed as arXiv Scientific Director


Created by Oya Y. Rieger on Sep 07, 2017 Go to start of metadata
We are pleased to announce that Steinn Sigurdsson has assumed the Scientific Director position. He will collaborate with the arXiv Program Director (Oya Y. Rieger) in overseeing the service and work with arXiv staff and the Scientific Advisory Board (SAB) in providing intellectual leadership for the operation. This is a part-time appointment as he will be working remotely from Penn State, retaining his faculty position, with occasional visits to Cornell. Steinn’s key responsibilities include:
Provide intellectual and scientific leadership by serving as facilitator of the SAB, which acts as an advisory board in setting policies and criteria for submission, moderation and administration, in collaboration with the SAB chair;
Serve as the final arbiter for complex moderation decisions (e.g., when moderators disagree or if there is an author dispute);
Contribute to strategic planning process representing the scientific communities served by arXiv, including serving on the steering committee of the next generation arXiv (arXiv-NG);
Participate in setting system development (IT) priorities with a focus on submission and moderation processes and arXiv-NG;
Work closely with the SAB members and subject advisory committees to ensure smooth moderation processes, such as assisting them in recruiting moderators;
arXiv’s organization chart can be found at: OrgChart2017
Steinn is currently a Professor of Astrophysics at the Pennsylvania State University at University Park. He did his doctorate in theoretical physics at the California Institute of Technology in Pasadena, California. He then worked as a researcher at the University of California at Santa Cruz, and the Institute of Astronomy and King’s College at Cambridge University in England. Steinn is a member of the Institute for Gravitation and the Cosmos and the Center for Exoplanets and Habitable Worlds, and the Penn State Astrobiology Research Center. He works on a range of topics in astrophysics and related areas, ranging from cosmology, large scale dynamics and black holes, to formation and evolution of planets, and the prospects for discovering non-terrestrial life. He has been a member of the board of the Aspen Center for Physics since 2010 and is currently a Trustee of the Aspen Center for Physics.
We are very excited to welcome Steinn to our team!

A new 'spammer' spotted on another parody site:

Wed Nov 15 21:19:59 UTC 2017

Math: Recent Advances in Refutations and Validations, posted 15 Nov 2017 at 22:31 UTC by sye » (Journeyer) ( 189 pages) ( 3 pages overview)

Recent Advances in Refutations and Validations Using Meth8 Modal Logic Model Checker © Colin James III 2016-2017 All Rights Reserved.

" 1. The axiom or rule of necessitation N states that if p is a theorem, then necessarily p is a theorem: If ⊢ p then ⊢ ◻p. We show this is non-contingent (a truth), but not tautologous (a proof). We evaluate axioms (in bold) of N, K, T, 4, B, D, 5 to derive systems (in italics) of K, M, T, S4, S5, D. We conclude that N the axiom or rule of necessitation is not tautologous Because system M as derived and rendered is not tautologous, system G-M also not tautologous. What follows is that systems derived from using M are tainted, regardless of the tautological status of the result so masking the defect, such as systems S4, B, and S5. We also find that Gentzen-sequent proof is suspicious, perhaps due to its non bi-valent lattice basis in a vector space."

any feedback is most welcome!

New Advogato Features

New HTML Parser: The long-awaited libxml2 based HTML parser code is live. It needs further work but already handles most markup better than the original parser.

Keep up with the latest Advogato features by reading the Advogato status blog.

If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!

Share this page