473,889 Members | 1,734 Online
Bytes | Software Development & Data Engineering Community
+ Post

Home Posts Topics Members FAQ

Postdoc position in program development, analysis and transformation

Dear all,

I would like to announce that the department of computer
science of the University of Namur, Belgium, is seeking a
post-doctoral researcher for a one-year fellowship in the area

(logic-based) program development, analysis and transformation.
Candidates should not be older than 35 years and hold a PhD in
computer science (or equivalent) acquired within the past five
years at a university outside Belgium.

For more details, please contact Wim Vanhoof (wv*@info.fundp .ac.be)
or visit http://www.info.fundp.ac.be/~cri/Pos...cts/index.html
Please note the deadline for application is april 2, 2004.

Kind regards,
Wim Vanhoof.

Wim Vanhoof E-mail: wv*@info.fundp. ac.be
University of Namur Tel. ++32(0)81.72.49 .77
Rue Grandgagnage, 21 Fax. ++32(0)81.72.52 .80
B-5000 Namur http://www.info.fundp.ac.be/~wva

Jul 17 '05
72 7014
Why is this here. Only a crackpot would put this here.

You are obviously more than a crackpot and worse than a bigot you are
a Republican.

The only case against gay marriage is that it would make more people
eligible to collect social security. I propose May-December marriages
between gay men and women with contracts worked out in advance to
protect the real partners. This would put maximum pressure on social
security and change the minds of all those opposed.
Jul 17 '05 #71
David Feuer wrote:

Sean Russell wrote:
[1] Except for gay marriages, which are not portable (conservative
extremists can thank Bill Clinton for that one).

WEll... So the law says. But that section of the law is prima facie
unconstitutiona l. Whether the marriages are portable or not is
something the courts will ultimately decide, but the Defense of Marriage
Act won't have much to do with it.


I have often thought that when legislation is found in a court of law
to be unconstitutiona l, the legislators who drafted it should have to pay
back a year's salary, plus interest since the time the legislation was

I have much more to say about Gay Marriage, but there are far too many
commas in the newsgroups line for civil discussion to be expected.

Jul 17 '05 #72
Why is this even here?

This is a Java newsgroup, not the "Let Me Tell You I'm Gay So Feel Sorry For
Me Newsgroup"

"Kees van Reeuwijk" <re******@few.v u.nl> wrote in message
news:1gb7xsl.mo 00pnp7ioquN%re* *****@few.vu.nl ...
Joe Sixpack <co************ *********@yahoo .com> wrote:
If equal protection were applied, logically it would be
discrimination against men, but THE SUPREME COURT RULED SELECTIVE

Completely off topic.

Perhaps, but then this thread has long ago become extremely off-topic
for ALL newsgroups it is posted to.

Hint. Hint.

Jul 17 '05 #73

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

by: Aaron Watters | last post by:
I'm doing a heart/lung bypass procedure on a largish Python program at the moment and it prompted the thought that the methodology I'm using would be absolutely impossible with a more "type safe" environment like C++, C#, java, ML etcetera. Basically I'm ripping apart the organs and sewing them back together, testing all the while and the majority of the program at the moment makes no sense in a type safe world... Nevertheless, since...
by: edgrsprj | last post by:
PROPOSED EARTHQUAKE FORECASTING COMPUTER PROGRAM DEVELOPMENT EFFORT Posted July 11, 2005 My main earthquake forecasting Web page is: http://www.freewebz.com/eq-forecasting/Data.html Newsgroup Readers: If you circulate copies of this report to groups of computer programmers at different universities etc. around the world then they might find the subject matter to be interesting.
by: cablespeed | last post by:
We currently are looking to fill two positions for our client (a large MNC) in Lancaster PA. Please reply ASAP to careers@techneers.com Here is the position description: Principal Responsibilities o Analyze requirements from primary stakeholders
by: abhi | last post by:
Hello, My name is Abhilash and I am recruiting for an experienced Bioinformatics Programmer. This opportunity is permanent, full-time, and on site in Bethesda/Rockville, MD. The opportunity is with a team that has been tasked with providing scientific computing support for national and international research and development projects in Bioinformatics, Genomics, and Proteomics. Our clients produce some of the largest and most rapidly...
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However, people are often confused as to whether an ONU can Work As a Router. In this blog post, we’ll explore What is ONU, What Is Router, ONU & Router’s main usage, and What is the difference between ONU and Router. Let’s take a closer look ! Part I. Meaning of...
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers, it seems that the internal comparison operator "<=>" tries to promote arguments from unsigned to signed. This is as boiled down as I can make it. Here is my compilation command: g++-12 -std=c++20 -Wnarrowing bit_field.cpp Here is the code in...
by: Hystou | last post by:
Overview: Windows 11 and 10 have less user interface control over operating system update behaviour than previous versions of Windows. In Windows 11 and 10, there is no way to turn off the Windows Update option using the Control Panel or Settings app; it automatically checks for updates and installs any it finds, whether you like it or not. For most users, this new feature is actually very convenient. If you want to control the update process,...
by: tracyyun | last post by:
Dear forum friends, With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each protocol has its own unique characteristics and advantages, but as a user who is planning to build a smart home system, I am a bit confused by the choice of these technologies. I'm particularly interested in Zigbee because I've heard it does some...
by: agi2029 | last post by:
Let's talk about the concept of autonomous AI software engineers and no-code agents. These AIs are designed to manage the entire lifecycle of a software development project—planning, coding, testing, and deployment—without human intervention. Imagine an AI that can take a project description, break it down, write the code, debug it, and then launch it, all on its own.... Now, this would greatly impact the work of software developers. The idea...
by: TSSRALBI | last post by:
Hello I'm a network technician in training and I need your help. I am currently learning how to create and manage the different types of VPNs and I have a question about LAN-to-LAN VPNs. The last exercise I practiced was to create a LAN-to-LAN VPN between two Pfsense firewalls, by using IPSEC protocols. I succeeded, with both firewalls in the same network. But I'm wondering if it's possible to do the same thing, with 2 Pfsense firewalls...
by: adsilva | last post by:
A Windows Forms form does not have the event Unload, like VB6. What one acts like?
by: 6302768590 | last post by:
Hai team i want code for transfer the data from one system to another through IP address by using C# our system has to for every 5mins then we have to update the data what the data is updated we have to send another system
by: muto222 | last post by:
How can i add a mobile payment intergratation into php mysql website.

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.