Proof-Complexity Info Page (original) (raw)

| Proof-Complexity -- Proof Complexity Announcements | | | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | | | | | About Proof-Complexity | | | The goal of this list is to facilitate exchange of concrete scientific information related to Proof Complexity.This includes (but is not limited to): announcements of new papers, results, conferences, etc. posing any concrete questions (referential, scientific, terminological etc.) and open problems related to proof complexity. We discourage using this list as a venue for general philosophical discussions of any nature. To see the collection of prior postings to the list, visit the Proof-Complexity Archives. | | | Using Proof-Complexity | | | To post a message to all the list members, send email to proof-complexity at math.cas.cz.You have to send the message from the email address given at your subscription.You can subscribe to the list, or change your existing subscription, in the sections below. | | | Subscribing to Proof-Complexity | | | Subscribe to Proof-Complexity by filling out the following form. Alternatively, you can just send an email to: proof-complexity-subscribe at math.cas.cz, and unsubscribe by sending an email to: proof-complexity-unsubscribe at math.cas.cz. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members. Your email address: Your name (optional): You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options. Pick a password: Reenter password to confirm: Would you like to receive list mail batched in a daily digest? No Yes | | | Proof-Complexity Subscribers | | | | |

Proof-Complexity list run by jerabek at math.cas.cz
Proof-Complexity administrative interface (requires authorization)
Overview of all math.cas.cz mailing lists